microsoft/TypeScript
1
0
Fork 0
mirror of https://github.com/microsoft/TypeScript.git synced 2026-02-17 19:11:26 -06:00
Code Issues Packages Projects Releases 212 Wiki Activity

Accept new baselines

Browse Source
This commit is contained in:
Anders Hejlsberg 2018-02-26 14:26:35 -08:00
parent 3ad62ef3d6
commit eaf806fedc
4 changed files with 11 additions and 11 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
tests/baselines/reference/inferTypes1.errors.txt
View File

@ -33,7 +33,7 @@ tests/cases/conformance/types/conditional/inferTypes1.ts(134,40): error TS2322:
type T03 = Unpacked<Promise<string>>; // string
type T04 = Unpacked<Unpacked<Promise<string>[]>>; // string
type T05 = Unpacked<any>; // any
type T06 = Unpacked<never>; // never
type T06 = Unpacked<never>; // {}
function f1(s: string) {
return { a: 1, b: s };
@ -72,7 +72,7 @@ tests/cases/conformance/types/conditional/inferTypes1.ts(134,40): error TS2322:
type ArgumentType<T extends (x: any) => any> = T extends (a: infer A) => any ? A : any;
type T20 = ArgumentType<() => void>; // never
type T20 = ArgumentType<() => void>; // {}
type T21 = ArgumentType<(x: string) => number>; // string
type T22 = ArgumentType<(x?: string) => number>; // string | undefined
type T23 = ArgumentType<(...args: string[]) => number>; // string

4
tests/baselines/reference/inferTypes1.js
View File

@ -11,7 +11,7 @@ type T02 = Unpacked<() => string>; // string
type T03 = Unpacked<Promise<string>>; // string
type T04 = Unpacked<Unpacked<Promise<string>[]>>; // string
type T05 = Unpacked<any>; // any
type T06 = Unpacked<never>; // never
type T06 = Unpacked<never>; // {}
function f1(s: string) {
return { a: 1, b: s };
@ -40,7 +40,7 @@ type U14 = InstanceType<Function>; // Error
type ArgumentType<T extends (x: any) => any> = T extends (a: infer A) => any ? A : any;
type T20 = ArgumentType<() => void>; // never
type T20 = ArgumentType<() => void>; // {}
type T21 = ArgumentType<(x: string) => number>; // string
type T22 = ArgumentType<(x?: string) => number>; // string | undefined
type T23 = ArgumentType<(...args: string[]) => number>; // string

4
tests/baselines/reference/inferTypes1.symbols
View File

@ -50,7 +50,7 @@ type T05 = Unpacked<any>; // any
>T05 : Symbol(T05, Decl(inferTypes1.ts, 10, 49))
>Unpacked : Symbol(Unpacked, Decl(inferTypes1.ts, 0, 0))
type T06 = Unpacked<never>; // never
type T06 = Unpacked<never>; // {}
>T06 : Symbol(T06, Decl(inferTypes1.ts, 11, 25))
>Unpacked : Symbol(Unpacked, Decl(inferTypes1.ts, 0, 0))
@ -150,7 +150,7 @@ type ArgumentType<T extends (x: any) => any> = T extends (a: infer A) => any ? A
>A : Symbol(A, Decl(inferTypes1.ts, 39, 66))
>A : Symbol(A, Decl(inferTypes1.ts, 39, 66))
type T20 = ArgumentType<() => void>; // never
type T20 = ArgumentType<() => void>; // {}
>T20 : Symbol(T20, Decl(inferTypes1.ts, 39, 87))
>ArgumentType : Symbol(ArgumentType, Decl(inferTypes1.ts, 37, 34))

10
tests/baselines/reference/inferTypes1.types
View File

@ -50,8 +50,8 @@ type T05 = Unpacked<any>; // any
>T05 : any
>Unpacked : Unpacked<T>
type T06 = Unpacked<never>; // never
>T06 : never
type T06 = Unpacked<never>; // {}
>T06 : {}
>Unpacked : Unpacked<T>
function f1(s: string) {
@ -154,8 +154,8 @@ type ArgumentType<T extends (x: any) => any> = T extends (a: infer A) => any ? A
>A : A
>A : A
type T20 = ArgumentType<() => void>; // never
>T20 : never
type T20 = ArgumentType<() => void>; // {}
>T20 : {}
>ArgumentType : ArgumentType<T>
type T21 = ArgumentType<(x: string) => number>; // string
@ -312,7 +312,7 @@ type T60 = infer U; // Error
>U : U
type T61<T> = infer A extends infer B ? infer C : infer D; // Error
>T61 : never
>T61 : {}
>T : T
>A : A
>B : B