maxmustermann/TypeScript
1
0
Fork 0
Code Issues Pull requests Projects Releases Wiki Activity
TypeScript/tests/baselines/reference/callChain.types
Anders Hejlsberg 412ecbc291
Reduce void | undefined only in conjunction with subtype reduction (#42846) 
* Reduce void | undefined only in conjunction with subtype reduction

* Accept new baselines

* Add regression test
2021-02-17 14:48:07 -10:00

287 lines
8.3 KiB
Plaintext
Raw Permalink Blame History

=== tests/cases/conformance/expressions/optionalChaining/callChain/callChain.ts ===
declare const o1: undefined | ((...args: any[]) => number);
>o1 : ((...args: any[]) => number) | undefined
>args : any[]
o1?.();
>o1?.() : number | undefined
>o1 : ((...args: any[]) => number) | undefined
o1?.(1);
>o1?.(1) : number | undefined
>o1 : ((...args: any[]) => number) | undefined
>1 : 1
o1?.(...[1, 2]);
>o1?.(...[1, 2]) : number | undefined
>o1 : ((...args: any[]) => number) | undefined
>...[1, 2] : number
>[1, 2] : number[]
>1 : 1
>2 : 2
o1?.(1, ...[2, 3], 4);
>o1?.(1, ...[2, 3], 4) : number | undefined
>o1 : ((...args: any[]) => number) | undefined
>1 : 1
>...[2, 3] : number
>[2, 3] : number[]
>2 : 2
>3 : 3
>4 : 4
declare const o2: undefined | { b: (...args: any[]) => number };
>o2 : { b: (...args: any[]) => number; } | undefined
>b : (...args: any[]) => number
>args : any[]
o2?.b();
>o2?.b() : number | undefined
>o2?.b : ((...args: any[]) => number) | undefined
>o2 : { b: (...args: any[]) => number; } | undefined
>b : ((...args: any[]) => number) | undefined
o2?.b(1);
>o2?.b(1) : number | undefined
>o2?.b : ((...args: any[]) => number) | undefined
>o2 : { b: (...args: any[]) => number; } | undefined
>b : ((...args: any[]) => number) | undefined
>1 : 1
o2?.b(...[1, 2]);
>o2?.b(...[1, 2]) : number | undefined
>o2?.b : ((...args: any[]) => number) | undefined
>o2 : { b: (...args: any[]) => number; } | undefined
>b : ((...args: any[]) => number) | undefined
>...[1, 2] : number
>[1, 2] : number[]
>1 : 1
>2 : 2
o2?.b(1, ...[2, 3], 4);
>o2?.b(1, ...[2, 3], 4) : number | undefined
>o2?.b : ((...args: any[]) => number) | undefined
>o2 : { b: (...args: any[]) => number; } | undefined
>b : ((...args: any[]) => number) | undefined
>1 : 1
>...[2, 3] : number
>[2, 3] : number[]
>2 : 2
>3 : 3
>4 : 4
o2?.["b"]();
>o2?.["b"]() : number | undefined
>o2?.["b"] : ((...args: any[]) => number) | undefined
>o2 : { b: (...args: any[]) => number; } | undefined
>"b" : "b"
o2?.["b"](1);
>o2?.["b"](1) : number | undefined
>o2?.["b"] : ((...args: any[]) => number) | undefined
>o2 : { b: (...args: any[]) => number; } | undefined
>"b" : "b"
>1 : 1
o2?.["b"](...[1, 2]);
>o2?.["b"](...[1, 2]) : number | undefined
>o2?.["b"] : ((...args: any[]) => number) | undefined
>o2 : { b: (...args: any[]) => number; } | undefined
>"b" : "b"
>...[1, 2] : number
>[1, 2] : number[]
>1 : 1
>2 : 2
o2?.["b"](1, ...[2, 3], 4);
>o2?.["b"](1, ...[2, 3], 4) : number | undefined
>o2?.["b"] : ((...args: any[]) => number) | undefined
>o2 : { b: (...args: any[]) => number; } | undefined
>"b" : "b"
>1 : 1
>...[2, 3] : number
>[2, 3] : number[]
>2 : 2
>3 : 3
>4 : 4
declare const o3: { b: ((...args: any[]) => { c: string }) | undefined };
>o3 : { b: ((...args: any[]) => { c: string;}) | undefined; }
>b : ((...args: any[]) => { c: string;}) | undefined
>args : any[]
>c : string
o3.b?.().c;
>o3.b?.().c : string | undefined
>o3.b?.() : { c: string; } | undefined
>o3.b : ((...args: any[]) => { c: string; }) | undefined
>o3 : { b: ((...args: any[]) => { c: string; }) | undefined; }
>b : ((...args: any[]) => { c: string; }) | undefined
>c : string | undefined
o3.b?.(1).c;
>o3.b?.(1).c : string | undefined
>o3.b?.(1) : { c: string; } | undefined
>o3.b : ((...args: any[]) => { c: string; }) | undefined
>o3 : { b: ((...args: any[]) => { c: string; }) | undefined; }
>b : ((...args: any[]) => { c: string; }) | undefined
>1 : 1
>c : string | undefined
o3.b?.(...[1, 2]).c;
>o3.b?.(...[1, 2]).c : string | undefined
>o3.b?.(...[1, 2]) : { c: string; } | undefined
>o3.b : ((...args: any[]) => { c: string; }) | undefined
>o3 : { b: ((...args: any[]) => { c: string; }) | undefined; }
>b : ((...args: any[]) => { c: string; }) | undefined
>...[1, 2] : number
>[1, 2] : number[]
>1 : 1
>2 : 2
>c : string | undefined
o3.b?.(1, ...[2, 3], 4).c;
>o3.b?.(1, ...[2, 3], 4).c : string | undefined
>o3.b?.(1, ...[2, 3], 4) : { c: string; } | undefined
>o3.b : ((...args: any[]) => { c: string; }) | undefined
>o3 : { b: ((...args: any[]) => { c: string; }) | undefined; }
>b : ((...args: any[]) => { c: string; }) | undefined
>1 : 1
>...[2, 3] : number
>[2, 3] : number[]
>2 : 2
>3 : 3
>4 : 4
>c : string | undefined
o3.b?.()["c"];
>o3.b?.()["c"] : string | undefined
>o3.b?.() : { c: string; } | undefined
>o3.b : ((...args: any[]) => { c: string; }) | undefined
>o3 : { b: ((...args: any[]) => { c: string; }) | undefined; }
>b : ((...args: any[]) => { c: string; }) | undefined
>"c" : "c"
o3.b?.(1)["c"];
>o3.b?.(1)["c"] : string | undefined
>o3.b?.(1) : { c: string; } | undefined
>o3.b : ((...args: any[]) => { c: string; }) | undefined
>o3 : { b: ((...args: any[]) => { c: string; }) | undefined; }
>b : ((...args: any[]) => { c: string; }) | undefined
>1 : 1
>"c" : "c"
o3.b?.(...[1, 2])["c"];
>o3.b?.(...[1, 2])["c"] : string | undefined
>o3.b?.(...[1, 2]) : { c: string; } | undefined
>o3.b : ((...args: any[]) => { c: string; }) | undefined
>o3 : { b: ((...args: any[]) => { c: string; }) | undefined; }
>b : ((...args: any[]) => { c: string; }) | undefined
>...[1, 2] : number
>[1, 2] : number[]
>1 : 1
>2 : 2
>"c" : "c"
o3.b?.(1, ...[2, 3], 4)["c"];
>o3.b?.(1, ...[2, 3], 4)["c"] : string | undefined
>o3.b?.(1, ...[2, 3], 4) : { c: string; } | undefined
>o3.b : ((...args: any[]) => { c: string; }) | undefined
>o3 : { b: ((...args: any[]) => { c: string; }) | undefined; }
>b : ((...args: any[]) => { c: string; }) | undefined
>1 : 1
>...[2, 3] : number
>[2, 3] : number[]
>2 : 2
>3 : 3
>4 : 4
>"c" : "c"
o3["b"]?.().c;
>o3["b"]?.().c : string | undefined
>o3["b"]?.() : { c: string; } | undefined
>o3["b"] : ((...args: any[]) => { c: string; }) | undefined
>o3 : { b: ((...args: any[]) => { c: string; }) | undefined; }
>"b" : "b"
>c : string | undefined
o3["b"]?.(1).c;
>o3["b"]?.(1).c : string | undefined
>o3["b"]?.(1) : { c: string; } | undefined
>o3["b"] : ((...args: any[]) => { c: string; }) | undefined
>o3 : { b: ((...args: any[]) => { c: string; }) | undefined; }
>"b" : "b"
>1 : 1
>c : string | undefined
o3["b"]?.(...[1, 2]).c;
>o3["b"]?.(...[1, 2]).c : string | undefined
>o3["b"]?.(...[1, 2]) : { c: string; } | undefined
>o3["b"] : ((...args: any[]) => { c: string; }) | undefined
>o3 : { b: ((...args: any[]) => { c: string; }) | undefined; }
>"b" : "b"
>...[1, 2] : number
>[1, 2] : number[]
>1 : 1
>2 : 2
>c : string | undefined
o3["b"]?.(1, ...[2, 3], 4).c;
>o3["b"]?.(1, ...[2, 3], 4).c : string | undefined
>o3["b"]?.(1, ...[2, 3], 4) : { c: string; } | undefined
>o3["b"] : ((...args: any[]) => { c: string; }) | undefined
>o3 : { b: ((...args: any[]) => { c: string; }) | undefined; }
>"b" : "b"
>1 : 1
>...[2, 3] : number
>[2, 3] : number[]
>2 : 2
>3 : 3
>4 : 4
>c : string | undefined
declare const o4: undefined | (<T>(f: (a: T) => T) => T);
>o4 : (<T>(f: (a: T) => T) => T) | undefined
>f : (a: T) => T
>a : T
declare function incr(x: number): number;
>incr : (x: number) => number
>x : number
const v: number | undefined = o4?.(incr);
>v : number | undefined
>o4?.(incr) : number | undefined
>o4 : (<T>(f: (a: T) => T) => T) | undefined
>incr : (x: number) => number
// GH#33744
declare const o5: <T>() => undefined | (() => void);
>o5 : <T>() => undefined | (() => void)
o5<number>()?.();
>o5<number>()?.() : void | undefined
>o5<number>() : (() => void) | undefined
>o5 : <T>() => (() => void) | undefined
// GH#36031
o2?.b()!.toString;
>o2?.b()!.toString : ((radix?: number | undefined) => string) | undefined
>o2?.b()! : number | undefined
>o2?.b() : number | undefined
>o2?.b : ((...args: any[]) => number) | undefined
>o2 : { b: (...args: any[]) => number; } | undefined
>b : ((...args: any[]) => number) | undefined
>toString : ((radix?: number | undefined) => string) | undefined
o2?.b()!.toString!;
>o2?.b()!.toString! : (radix?: number | undefined) => string
>o2?.b()!.toString : ((radix?: number | undefined) => string) | undefined
>o2?.b()! : number | undefined
>o2?.b() : number | undefined
>o2?.b : ((...args: any[]) => number) | undefined
>o2 : { b: (...args: any[]) => number; } | undefined
>b : ((...args: any[]) => number) | undefined
>toString : ((radix?: number | undefined) => string) | undefined
Reference in a new issue View git blame Copy permalink