1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 74 75 76 77 78 79 80 81 82 83 84 85 86 87 88 89 90 91 92 93 94
|
=== tests/cases/conformance/types/typeRelationships/typeInference/unionAndIntersectionInference2.ts ===
declare function f1<T>(x: T | string): T;
>f1 : <T>(x: string | T) => T
>T : T
>x : string | T
>T : T
>T : T
var a1: string;
>a1 : string
var b1: string | string[];
>b1 : string | string[]
var c1: string[] | string;
>c1 : string | string[]
var d1: string | { name: string };
>d1 : string | { name: string; }
>name : string
var e1: number | string | boolean;
>e1 : string | number | boolean
f1(a1); // string
>f1(a1) : string
>f1 : <T>(x: string | T) => T
>a1 : string
f1(b1); // string[]
>f1(b1) : string[]
>f1 : <T>(x: string | T) => T
>b1 : string | string[]
f1(c1); // string[]
>f1(c1) : string[]
>f1 : <T>(x: string | T) => T
>c1 : string | string[]
f1(d1); // { name: string }
>f1(d1) : { name: string; }
>f1 : <T>(x: string | T) => T
>d1 : string | { name: string; }
f1(e1); // number | boolean
>f1(e1) : number | boolean
>f1 : <T>(x: string | T) => T
>e1 : string | number | boolean
declare function f2<T>(x: T & { name: string }): T;
>f2 : <T>(x: T & { name: string; }) => T
>T : T
>x : T & { name: string; }
>T : T
>name : string
>T : T
var a2: string & { name: string };
>a2 : string & { name: string; }
>name : string
var b2: { name: string } & string[];
>b2 : { name: string; } & string[]
>name : string
var c2: string & { name: string } & number;
>c2 : string & { name: string; } & number
>name : string
var d2: string & { name: string } & number & { name: string };
>d2 : string & { name: string; } & number & { name: string; }
>name : string
>name : string
f2(a2); // string
>f2(a2) : string
>f2 : <T>(x: T & { name: string; }) => T
>a2 : string & { name: string; }
f2(b2); // string[]
>f2(b2) : string[]
>f2 : <T>(x: T & { name: string; }) => T
>b2 : { name: string; } & string[]
f2(c2); // string & number
>f2(c2) : string & number
>f2 : <T>(x: T & { name: string; }) => T
>c2 : string & { name: string; } & number
f2(d2); // string & number
>f2(d2) : string & number
>f2 : <T>(x: T & { name: string; }) => T
>d2 : string & { name: string; } & number & { name: string; }
|