From bf99b8e6c1b2b5a0076731f591de1bb200531c80 Mon Sep 17 00:00:00 2001 From: Anders Hejlsberg Date: Mon, 2 Jul 2018 10:38:54 -1000 Subject: [PATCH] Accept new baselines --- .../reference/contextuallyTypedIife.types | 42 +++++++++---------- .../contextuallyTypedIifeStrict.types | 42 +++++++++---------- ...tDefaultParametersFunctionExpression.types | 12 +++--- ...faultParametersFunctionExpressionES6.types | 12 +++--- ...emitRestParametersFunctionExpression.types | 6 +-- ...tRestParametersFunctionExpressionES6.types | 6 +-- ...edFunctionInferenceWithTypeParameter.types | 6 +-- 7 files changed, 63 insertions(+), 63 deletions(-) diff --git a/tests/baselines/reference/contextuallyTypedIife.types b/tests/baselines/reference/contextuallyTypedIife.types index 7b86fe1f337..df0b7884594 100644 --- a/tests/baselines/reference/contextuallyTypedIife.types +++ b/tests/baselines/reference/contextuallyTypedIife.types @@ -101,12 +101,12 @@ // rest parameters ((...numbers) => numbers.every(n => n > 0))(5,6,7); >((...numbers) => numbers.every(n => n > 0))(5,6,7) : boolean ->((...numbers) => numbers.every(n => n > 0)) : (...numbers: number[]) => boolean ->(...numbers) => numbers.every(n => n > 0) : (...numbers: number[]) => boolean ->numbers : number[] +>((...numbers) => numbers.every(n => n > 0)) : (numbers_0: number, numbers_1: number, numbers_2: number) => boolean +>(...numbers) => numbers.every(n => n > 0) : (numbers_0: number, numbers_1: number, numbers_2: number) => boolean +>numbers : [number, number, number] >numbers.every(n => n > 0) : boolean >numbers.every : (callbackfn: (value: number, index: number, array: number[]) => boolean, thisArg?: any) => boolean ->numbers : number[] +>numbers : [number, number, number] >every : (callbackfn: (value: number, index: number, array: number[]) => boolean, thisArg?: any) => boolean >n => n > 0 : (n: number) => boolean >n : number @@ -119,12 +119,12 @@ ((...mixed) => mixed.every(n => !!n))(5,'oops','oh no'); >((...mixed) => mixed.every(n => !!n))(5,'oops','oh no') : boolean ->((...mixed) => mixed.every(n => !!n)) : (...mixed: (string | number)[]) => boolean ->(...mixed) => mixed.every(n => !!n) : (...mixed: (string | number)[]) => boolean ->mixed : (string | number)[] +>((...mixed) => mixed.every(n => !!n)) : (mixed_0: number, mixed_1: string, mixed_2: string) => boolean +>(...mixed) => mixed.every(n => !!n) : (mixed_0: number, mixed_1: string, mixed_2: string) => boolean +>mixed : [number, string, string] >mixed.every(n => !!n) : boolean >mixed.every : (callbackfn: (value: string | number, index: number, array: (string | number)[]) => boolean, thisArg?: any) => boolean ->mixed : (string | number)[] +>mixed : [number, string, string] >every : (callbackfn: (value: string | number, index: number, array: (string | number)[]) => boolean, thisArg?: any) => boolean >n => !!n : (n: string | number) => boolean >n : string | number @@ -137,31 +137,31 @@ ((...noNumbers) => noNumbers.some(n => n > 0))(); >((...noNumbers) => noNumbers.some(n => n > 0))() : boolean ->((...noNumbers) => noNumbers.some(n => n > 0)) : (...noNumbers: any[]) => boolean ->(...noNumbers) => noNumbers.some(n => n > 0) : (...noNumbers: any[]) => boolean ->noNumbers : any[] +>((...noNumbers) => noNumbers.some(n => n > 0)) : () => boolean +>(...noNumbers) => noNumbers.some(n => n > 0) : () => boolean +>noNumbers : [] >noNumbers.some(n => n > 0) : boolean ->noNumbers.some : (callbackfn: (value: any, index: number, array: any[]) => boolean, thisArg?: any) => boolean ->noNumbers : any[] ->some : (callbackfn: (value: any, index: number, array: any[]) => boolean, thisArg?: any) => boolean ->n => n > 0 : (n: any) => boolean ->n : any +>noNumbers.some : (callbackfn: (value: never, index: number, array: never[]) => boolean, thisArg?: any) => boolean +>noNumbers : [] +>some : (callbackfn: (value: never, index: number, array: never[]) => boolean, thisArg?: any) => boolean +>n => n > 0 : (n: never) => boolean +>n : never >n > 0 : boolean ->n : any +>n : never >0 : 0 ((first, ...rest) => first ? [] : rest.map(n => n > 0))(8,9,10); >((first, ...rest) => first ? [] : rest.map(n => n > 0))(8,9,10) : boolean[] ->((first, ...rest) => first ? [] : rest.map(n => n > 0)) : (first: number, ...rest: number[]) => boolean[] ->(first, ...rest) => first ? [] : rest.map(n => n > 0) : (first: number, ...rest: number[]) => boolean[] +>((first, ...rest) => first ? [] : rest.map(n => n > 0)) : (first: number, rest_0: number, rest_1: number) => boolean[] +>(first, ...rest) => first ? [] : rest.map(n => n > 0) : (first: number, rest_0: number, rest_1: number) => boolean[] >first : number ->rest : number[] +>rest : [number, number] >first ? [] : rest.map(n => n > 0) : boolean[] >first : number >[] : undefined[] >rest.map(n => n > 0) : boolean[] >rest.map : (callbackfn: (value: number, index: number, array: number[]) => U, thisArg?: any) => U[] ->rest : number[] +>rest : [number, number] >map : (callbackfn: (value: number, index: number, array: number[]) => U, thisArg?: any) => U[] >n => n > 0 : (n: number) => boolean >n : number diff --git a/tests/baselines/reference/contextuallyTypedIifeStrict.types b/tests/baselines/reference/contextuallyTypedIifeStrict.types index 5a8a33ac41d..e20c08a20de 100644 --- a/tests/baselines/reference/contextuallyTypedIifeStrict.types +++ b/tests/baselines/reference/contextuallyTypedIifeStrict.types @@ -101,12 +101,12 @@ // rest parameters ((...numbers) => numbers.every(n => n > 0))(5,6,7); >((...numbers) => numbers.every(n => n > 0))(5,6,7) : boolean ->((...numbers) => numbers.every(n => n > 0)) : (...numbers: number[]) => boolean ->(...numbers) => numbers.every(n => n > 0) : (...numbers: number[]) => boolean ->numbers : number[] +>((...numbers) => numbers.every(n => n > 0)) : (numbers_0: number, numbers_1: number, numbers_2: number) => boolean +>(...numbers) => numbers.every(n => n > 0) : (numbers_0: number, numbers_1: number, numbers_2: number) => boolean +>numbers : [number, number, number] >numbers.every(n => n > 0) : boolean >numbers.every : (callbackfn: (value: number, index: number, array: number[]) => boolean, thisArg?: any) => boolean ->numbers : number[] +>numbers : [number, number, number] >every : (callbackfn: (value: number, index: number, array: number[]) => boolean, thisArg?: any) => boolean >n => n > 0 : (n: number) => boolean >n : number @@ -119,12 +119,12 @@ ((...mixed) => mixed.every(n => !!n))(5,'oops','oh no'); >((...mixed) => mixed.every(n => !!n))(5,'oops','oh no') : boolean ->((...mixed) => mixed.every(n => !!n)) : (...mixed: (string | number)[]) => boolean ->(...mixed) => mixed.every(n => !!n) : (...mixed: (string | number)[]) => boolean ->mixed : (string | number)[] +>((...mixed) => mixed.every(n => !!n)) : (mixed_0: number, mixed_1: string, mixed_2: string) => boolean +>(...mixed) => mixed.every(n => !!n) : (mixed_0: number, mixed_1: string, mixed_2: string) => boolean +>mixed : [number, string, string] >mixed.every(n => !!n) : boolean >mixed.every : (callbackfn: (value: string | number, index: number, array: (string | number)[]) => boolean, thisArg?: any) => boolean ->mixed : (string | number)[] +>mixed : [number, string, string] >every : (callbackfn: (value: string | number, index: number, array: (string | number)[]) => boolean, thisArg?: any) => boolean >n => !!n : (n: string | number) => boolean >n : string | number @@ -137,31 +137,31 @@ ((...noNumbers) => noNumbers.some(n => n > 0))(); >((...noNumbers) => noNumbers.some(n => n > 0))() : boolean ->((...noNumbers) => noNumbers.some(n => n > 0)) : (...noNumbers: any[]) => boolean ->(...noNumbers) => noNumbers.some(n => n > 0) : (...noNumbers: any[]) => boolean ->noNumbers : any[] +>((...noNumbers) => noNumbers.some(n => n > 0)) : () => boolean +>(...noNumbers) => noNumbers.some(n => n > 0) : () => boolean +>noNumbers : [] >noNumbers.some(n => n > 0) : boolean ->noNumbers.some : (callbackfn: (value: any, index: number, array: any[]) => boolean, thisArg?: any) => boolean ->noNumbers : any[] ->some : (callbackfn: (value: any, index: number, array: any[]) => boolean, thisArg?: any) => boolean ->n => n > 0 : (n: any) => boolean ->n : any +>noNumbers.some : (callbackfn: (value: never, index: number, array: never[]) => boolean, thisArg?: any) => boolean +>noNumbers : [] +>some : (callbackfn: (value: never, index: number, array: never[]) => boolean, thisArg?: any) => boolean +>n => n > 0 : (n: never) => boolean +>n : never >n > 0 : boolean ->n : any +>n : never >0 : 0 ((first, ...rest) => first ? [] : rest.map(n => n > 0))(8,9,10); >((first, ...rest) => first ? [] : rest.map(n => n > 0))(8,9,10) : boolean[] ->((first, ...rest) => first ? [] : rest.map(n => n > 0)) : (first: number, ...rest: number[]) => boolean[] ->(first, ...rest) => first ? [] : rest.map(n => n > 0) : (first: number, ...rest: number[]) => boolean[] +>((first, ...rest) => first ? [] : rest.map(n => n > 0)) : (first: number, rest_0: number, rest_1: number) => boolean[] +>(first, ...rest) => first ? [] : rest.map(n => n > 0) : (first: number, rest_0: number, rest_1: number) => boolean[] >first : number ->rest : number[] +>rest : [number, number] >first ? [] : rest.map(n => n > 0) : boolean[] >first : number >[] : never[] >rest.map(n => n > 0) : boolean[] >rest.map : (callbackfn: (value: number, index: number, array: number[]) => U, thisArg?: any) => U[] ->rest : number[] +>rest : [number, number] >map : (callbackfn: (value: number, index: number, array: number[]) => U, thisArg?: any) => U[] >n => n > 0 : (n: number) => boolean >n : number diff --git a/tests/baselines/reference/emitDefaultParametersFunctionExpression.types b/tests/baselines/reference/emitDefaultParametersFunctionExpression.types index 7546bda0d41..e8707ba653e 100644 --- a/tests/baselines/reference/emitDefaultParametersFunctionExpression.types +++ b/tests/baselines/reference/emitDefaultParametersFunctionExpression.types @@ -37,22 +37,22 @@ var x = function (str = "hello", ...rest) { } var y = (function (num = 10, boo = false, ...rest) { })() >y : void >(function (num = 10, boo = false, ...rest) { })() : void ->(function (num = 10, boo = false, ...rest) { }) : (num?: number, boo?: boolean, ...rest: any[]) => void ->function (num = 10, boo = false, ...rest) { } : (num?: number, boo?: boolean, ...rest: any[]) => void +>(function (num = 10, boo = false, ...rest) { }) : (num?: number, boo?: boolean) => void +>function (num = 10, boo = false, ...rest) { } : (num?: number, boo?: boolean) => void >num : number >10 : 10 >boo : boolean >false : false ->rest : any[] +>rest : [] var z = (function (num: number, boo = false, ...rest) { })(10) >z : void >(function (num: number, boo = false, ...rest) { })(10) : void ->(function (num: number, boo = false, ...rest) { }) : (num: number, boo?: boolean, ...rest: any[]) => void ->function (num: number, boo = false, ...rest) { } : (num: number, boo?: boolean, ...rest: any[]) => void +>(function (num: number, boo = false, ...rest) { }) : (num: number, boo?: boolean) => void +>function (num: number, boo = false, ...rest) { } : (num: number, boo?: boolean) => void >num : number >boo : boolean >false : false ->rest : any[] +>rest : [] >10 : 10 diff --git a/tests/baselines/reference/emitDefaultParametersFunctionExpressionES6.types b/tests/baselines/reference/emitDefaultParametersFunctionExpressionES6.types index 99ab6a48137..adf70cde16f 100644 --- a/tests/baselines/reference/emitDefaultParametersFunctionExpressionES6.types +++ b/tests/baselines/reference/emitDefaultParametersFunctionExpressionES6.types @@ -37,22 +37,22 @@ var x = function (str = "hello", ...rest) { } var y = (function (num = 10, boo = false, ...rest) { })() >y : void >(function (num = 10, boo = false, ...rest) { })() : void ->(function (num = 10, boo = false, ...rest) { }) : (num?: number, boo?: boolean, ...rest: any[]) => void ->function (num = 10, boo = false, ...rest) { } : (num?: number, boo?: boolean, ...rest: any[]) => void +>(function (num = 10, boo = false, ...rest) { }) : (num?: number, boo?: boolean) => void +>function (num = 10, boo = false, ...rest) { } : (num?: number, boo?: boolean) => void >num : number >10 : 10 >boo : boolean >false : false ->rest : any[] +>rest : [] var z = (function (num: number, boo = false, ...rest) { })(10) >z : void >(function (num: number, boo = false, ...rest) { })(10) : void ->(function (num: number, boo = false, ...rest) { }) : (num: number, boo?: boolean, ...rest: any[]) => void ->function (num: number, boo = false, ...rest) { } : (num: number, boo?: boolean, ...rest: any[]) => void +>(function (num: number, boo = false, ...rest) { }) : (num: number, boo?: boolean) => void +>function (num: number, boo = false, ...rest) { } : (num: number, boo?: boolean) => void >num : number >boo : boolean >false : false ->rest : any[] +>rest : [] >10 : 10 diff --git a/tests/baselines/reference/emitRestParametersFunctionExpression.types b/tests/baselines/reference/emitRestParametersFunctionExpression.types index 9f08b9d9d83..bb3e1c8028b 100644 --- a/tests/baselines/reference/emitRestParametersFunctionExpression.types +++ b/tests/baselines/reference/emitRestParametersFunctionExpression.types @@ -18,7 +18,7 @@ var funcExp2 = function (...rest) { } var funcExp3 = (function (...rest) { })() >funcExp3 : void >(function (...rest) { })() : void ->(function (...rest) { }) : (...rest: any[]) => void ->function (...rest) { } : (...rest: any[]) => void ->rest : any[] +>(function (...rest) { }) : () => void +>function (...rest) { } : () => void +>rest : [] diff --git a/tests/baselines/reference/emitRestParametersFunctionExpressionES6.types b/tests/baselines/reference/emitRestParametersFunctionExpressionES6.types index 224cb37367a..c06b359b89c 100644 --- a/tests/baselines/reference/emitRestParametersFunctionExpressionES6.types +++ b/tests/baselines/reference/emitRestParametersFunctionExpressionES6.types @@ -18,7 +18,7 @@ var funcExp2 = function (...rest) { } var funcExp3 = (function (...rest) { })() >funcExp3 : void >(function (...rest) { })() : void ->(function (...rest) { }) : (...rest: any[]) => void ->function (...rest) { } : (...rest: any[]) => void ->rest : any[] +>(function (...rest) { }) : () => void +>function (...rest) { } : () => void +>rest : [] diff --git a/tests/baselines/reference/partiallyAnnotatedFunctionInferenceWithTypeParameter.types b/tests/baselines/reference/partiallyAnnotatedFunctionInferenceWithTypeParameter.types index c2113ae4d75..96e4c8b1c31 100644 --- a/tests/baselines/reference/partiallyAnnotatedFunctionInferenceWithTypeParameter.types +++ b/tests/baselines/reference/partiallyAnnotatedFunctionInferenceWithTypeParameter.types @@ -119,12 +119,12 @@ testRest((t1, t2: D, t3) => {}) >t3 : D testRest((t2: D, ...t3) => {}) ->testRest((t2: D, ...t3) => {}) : any +>testRest((t2: D, ...t3) => {}) : D >testRest : (a: (t: T, t1: T, ...ts: T[]) => void) => T ->(t2: D, ...t3) => {} : (t2: D, ...t3: any[]) => void +>(t2: D, ...t3) => {} : (t2: D, t1: D, ...ts: D[]) => void >t2 : D >D : D ->t3 : any[] +>t3 : [D, ...D[]] testRest((t2, ...t3: D[]) => {}) >testRest((t2, ...t3: D[]) => {}) : C