Accepted baselines.

This commit is contained in:
Daniel Rosenwasser
2016-06-14 11:36:14 -07:00
parent 5a90c6777a
commit 0a1c4c60da
6 changed files with 98 additions and 0 deletions

View File

@@ -0,0 +1,27 @@
//// [emptyTuplesTypeAssertion01.ts]
let x = <[]>[];
let y = x[0];
//// [emptyTuplesTypeAssertion01.js]
var x = [];
var y = x[0];
//// [emptyTuplesTypeAssertion01.d.ts]
declare let x: [];
declare let y: never;
//// [DtsFileErrors]
tests/cases/conformance/types/tuple/emptyTuples/emptyTuplesTypeAssertion01.d.ts(1,16): error TS1122: A tuple type element list cannot be empty.
==== tests/cases/conformance/types/tuple/emptyTuples/emptyTuplesTypeAssertion01.d.ts (1 errors) ====
declare let x: [];
~~
!!! error TS1122: A tuple type element list cannot be empty.
declare let y: never;

View File

@@ -0,0 +1,9 @@
=== tests/cases/conformance/types/tuple/emptyTuples/emptyTuplesTypeAssertion01.ts ===
let x = <[]>[];
>x : Symbol(x, Decl(emptyTuplesTypeAssertion01.ts, 1, 3))
let y = x[0];
>y : Symbol(y, Decl(emptyTuplesTypeAssertion01.ts, 2, 3))
>x : Symbol(x, Decl(emptyTuplesTypeAssertion01.ts, 1, 3))

View File

@@ -0,0 +1,13 @@
=== tests/cases/conformance/types/tuple/emptyTuples/emptyTuplesTypeAssertion01.ts ===
let x = <[]>[];
>x : []
><[]>[] : []
>[] : undefined[]
let y = x[0];
>y : never
>x[0] : never
>x : []
>0 : number

View File

@@ -0,0 +1,27 @@
//// [emptyTuplesTypeAssertion02.ts]
let x = [] as [];
let y = x[0];
//// [emptyTuplesTypeAssertion02.js]
var x = [];
var y = x[0];
//// [emptyTuplesTypeAssertion02.d.ts]
declare let x: [];
declare let y: never;
//// [DtsFileErrors]
tests/cases/conformance/types/tuple/emptyTuples/emptyTuplesTypeAssertion02.d.ts(1,16): error TS1122: A tuple type element list cannot be empty.
==== tests/cases/conformance/types/tuple/emptyTuples/emptyTuplesTypeAssertion02.d.ts (1 errors) ====
declare let x: [];
~~
!!! error TS1122: A tuple type element list cannot be empty.
declare let y: never;

View File

@@ -0,0 +1,9 @@
=== tests/cases/conformance/types/tuple/emptyTuples/emptyTuplesTypeAssertion02.ts ===
let x = [] as [];
>x : Symbol(x, Decl(emptyTuplesTypeAssertion02.ts, 1, 3))
let y = x[0];
>y : Symbol(y, Decl(emptyTuplesTypeAssertion02.ts, 2, 3))
>x : Symbol(x, Decl(emptyTuplesTypeAssertion02.ts, 1, 3))

View File

@@ -0,0 +1,13 @@
=== tests/cases/conformance/types/tuple/emptyTuples/emptyTuplesTypeAssertion02.ts ===
let x = [] as [];
>x : []
>[] as [] : []
>[] : undefined[]
let y = x[0];
>y : never
>x[0] : never
>x : []
>0 : number