Accept new baselines

This commit is contained in:
Anders Hejlsberg 2017-11-03 14:40:12 -07:00
parent f701b1300f
commit fc40a3fdcf
8 changed files with 40 additions and 14 deletions

View file

@ -4,12 +4,13 @@ tests/cases/conformance/types/never/neverTypeErrors1.ts(5,5): error TS2322: Type
tests/cases/conformance/types/never/neverTypeErrors1.ts(6,5): error TS2322: Type 'undefined' is not assignable to type 'never'.
tests/cases/conformance/types/never/neverTypeErrors1.ts(7,5): error TS2322: Type 'null' is not assignable to type 'never'.
tests/cases/conformance/types/never/neverTypeErrors1.ts(8,5): error TS2322: Type '{}' is not assignable to type 'never'.
tests/cases/conformance/types/never/neverTypeErrors1.ts(12,5): error TS2322: Type 'undefined' is not assignable to type 'never'.
tests/cases/conformance/types/never/neverTypeErrors1.ts(16,5): error TS2322: Type '1' is not assignable to type 'never'.
tests/cases/conformance/types/never/neverTypeErrors1.ts(19,16): error TS2534: A function returning 'never' cannot have a reachable end point.
tests/cases/conformance/types/never/neverTypeErrors1.ts(9,5): error TS2349: Cannot invoke an expression whose type lacks a call signature. Type 'never' has no compatible call signatures.
tests/cases/conformance/types/never/neverTypeErrors1.ts(13,5): error TS2322: Type 'undefined' is not assignable to type 'never'.
tests/cases/conformance/types/never/neverTypeErrors1.ts(17,5): error TS2322: Type '1' is not assignable to type 'never'.
tests/cases/conformance/types/never/neverTypeErrors1.ts(20,16): error TS2534: A function returning 'never' cannot have a reachable end point.
==== tests/cases/conformance/types/never/neverTypeErrors1.ts (9 errors) ====
==== tests/cases/conformance/types/never/neverTypeErrors1.ts (10 errors) ====
function f1() {
let x: never;
x = 1;
@ -30,6 +31,9 @@ tests/cases/conformance/types/never/neverTypeErrors1.ts(19,16): error TS2534: A
x = {};
~
!!! error TS2322: Type '{}' is not assignable to type 'never'.
x();
~~~
!!! error TS2349: Cannot invoke an expression whose type lacks a call signature. Type 'never' has no compatible call signatures.
}
function f2(): never {

View file

@ -7,6 +7,7 @@ function f1() {
x = undefined;
x = null;
x = {};
x();
}
function f2(): never {
@ -29,6 +30,7 @@ function f1() {
x = undefined;
x = null;
x = {};
x();
}
function f2() {
return;

View file

@ -23,20 +23,23 @@ function f1() {
x = {};
>x : Symbol(x, Decl(neverTypeErrors1.ts, 1, 7))
x();
>x : Symbol(x, Decl(neverTypeErrors1.ts, 1, 7))
}
function f2(): never {
>f2 : Symbol(f2, Decl(neverTypeErrors1.ts, 8, 1))
>f2 : Symbol(f2, Decl(neverTypeErrors1.ts, 9, 1))
return;
}
function f3(): never {
>f3 : Symbol(f3, Decl(neverTypeErrors1.ts, 12, 1))
>f3 : Symbol(f3, Decl(neverTypeErrors1.ts, 13, 1))
return 1;
}
function f4(): never {
>f4 : Symbol(f4, Decl(neverTypeErrors1.ts, 16, 1))
>f4 : Symbol(f4, Decl(neverTypeErrors1.ts, 17, 1))
}

View file

@ -34,6 +34,10 @@ function f1() {
>x = {} : {}
>x : never
>{} : {}
x();
>x() : any
>x : never
}
function f2(): never {

View file

@ -4,12 +4,13 @@ tests/cases/conformance/types/never/neverTypeErrors2.ts(5,5): error TS2322: Type
tests/cases/conformance/types/never/neverTypeErrors2.ts(6,5): error TS2322: Type 'undefined' is not assignable to type 'never'.
tests/cases/conformance/types/never/neverTypeErrors2.ts(7,5): error TS2322: Type 'null' is not assignable to type 'never'.
tests/cases/conformance/types/never/neverTypeErrors2.ts(8,5): error TS2322: Type '{}' is not assignable to type 'never'.
tests/cases/conformance/types/never/neverTypeErrors2.ts(12,5): error TS2322: Type 'undefined' is not assignable to type 'never'.
tests/cases/conformance/types/never/neverTypeErrors2.ts(16,5): error TS2322: Type '1' is not assignable to type 'never'.
tests/cases/conformance/types/never/neverTypeErrors2.ts(19,16): error TS2534: A function returning 'never' cannot have a reachable end point.
tests/cases/conformance/types/never/neverTypeErrors2.ts(9,5): error TS2349: Cannot invoke an expression whose type lacks a call signature. Type 'never' has no compatible call signatures.
tests/cases/conformance/types/never/neverTypeErrors2.ts(13,5): error TS2322: Type 'undefined' is not assignable to type 'never'.
tests/cases/conformance/types/never/neverTypeErrors2.ts(17,5): error TS2322: Type '1' is not assignable to type 'never'.
tests/cases/conformance/types/never/neverTypeErrors2.ts(20,16): error TS2534: A function returning 'never' cannot have a reachable end point.
==== tests/cases/conformance/types/never/neverTypeErrors2.ts (9 errors) ====
==== tests/cases/conformance/types/never/neverTypeErrors2.ts (10 errors) ====
function f1() {
let x: never;
x = 1;
@ -30,6 +31,9 @@ tests/cases/conformance/types/never/neverTypeErrors2.ts(19,16): error TS2534: A
x = {};
~
!!! error TS2322: Type '{}' is not assignable to type 'never'.
x();
~~~
!!! error TS2349: Cannot invoke an expression whose type lacks a call signature. Type 'never' has no compatible call signatures.
}
function f2(): never {

View file

@ -7,6 +7,7 @@ function f1() {
x = undefined;
x = null;
x = {};
x();
}
function f2(): never {
@ -29,6 +30,7 @@ function f1() {
x = undefined;
x = null;
x = {};
x();
}
function f2() {
return;

View file

@ -23,20 +23,23 @@ function f1() {
x = {};
>x : Symbol(x, Decl(neverTypeErrors2.ts, 1, 7))
x();
>x : Symbol(x, Decl(neverTypeErrors2.ts, 1, 7))
}
function f2(): never {
>f2 : Symbol(f2, Decl(neverTypeErrors2.ts, 8, 1))
>f2 : Symbol(f2, Decl(neverTypeErrors2.ts, 9, 1))
return;
}
function f3(): never {
>f3 : Symbol(f3, Decl(neverTypeErrors2.ts, 12, 1))
>f3 : Symbol(f3, Decl(neverTypeErrors2.ts, 13, 1))
return 1;
}
function f4(): never {
>f4 : Symbol(f4, Decl(neverTypeErrors2.ts, 16, 1))
>f4 : Symbol(f4, Decl(neverTypeErrors2.ts, 17, 1))
}

View file

@ -34,6 +34,10 @@ function f1() {
>x = {} : {}
>x : never
>{} : {}
x();
>x() : any
>x : never
}
function f2(): never {