mirror of
https://github.com/microsoft/TypeScript.git
synced 2026-02-10 15:25:54 -06:00
Accept new baselines
This commit is contained in:
Daniel Rosenwasser
parent
cf6f39f79d
commit
b5b2f4c1dd
@ -15,9 +15,9 @@ tests/cases/conformance/types/conditional/inferTypes1.ts(75,15): error TS2304: C
|
||||
tests/cases/conformance/types/conditional/inferTypes1.ts(75,15): error TS4081: Exported type alias 'T62' has or is using private name 'U'.
|
||||
tests/cases/conformance/types/conditional/inferTypes1.ts(75,43): error TS2304: Cannot find name 'U'.
|
||||
tests/cases/conformance/types/conditional/inferTypes1.ts(75,43): error TS4081: Exported type alias 'T62' has or is using private name 'U'.
|
||||
tests/cases/conformance/types/conditional/inferTypes1.ts(81,44): error TS2344: Type 'U' does not satisfy the constraint 'string'.
|
||||
tests/cases/conformance/types/conditional/inferTypes1.ts(82,44): error TS2344: Type 'U' does not satisfy the constraint 'string'.
|
||||
Type 'number' is not assignable to type 'string'.
|
||||
tests/cases/conformance/types/conditional/inferTypes1.ts(143,40): error TS2322: Type 'T' is not assignable to type 'string'.
|
||||
tests/cases/conformance/types/conditional/inferTypes1.ts(144,40): error TS2322: Type 'T' is not assignable to type 'string'.
|
||||
|
||||
|
||||
==== tests/cases/conformance/types/conditional/inferTypes1.ts (16 errors) ====
|
||||
@ -127,6 +127,7 @@ tests/cases/conformance/types/conditional/inferTypes1.ts(143,40): error TS2322:
|
||||
!!! error TS2304: Cannot find name 'U'.
|
||||
~
|
||||
!!! error TS4081: Exported type alias 'T62' has or is using private name 'U'.
|
||||
type T63<T> = T extends (infer A extends infer B ? infer C : infer D) ? string : number;
|
||||
|
||||
type T70<T extends string> = { x: T };
|
||||
type T71<T> = T extends T70<infer U> ? T70<U> : never;
|
||||
|
||||
@ -74,6 +74,7 @@ type T54 = X3<{ a: (x: number) => void, b: () => void }>; // number
|
||||
type T60 = infer U; // Error
|
||||
type T61<T> = infer A extends infer B ? infer C : infer D; // Error
|
||||
type T62<T> = U extends (infer U)[] ? U : U; // Error
|
||||
type T63<T> = T extends (infer A extends infer B ? infer C : infer D) ? string : number;
|
||||
|
||||
type T70<T extends string> = { x: T };
|
||||
type T71<T> = T extends T70<infer U> ? T70<U> : never;
|
||||
|
||||
@ -321,364 +321,373 @@ type T62<T> = U extends (infer U)[] ? U : U; // Error
|
||||
>U : Symbol(U, Decl(inferTypes1.ts, 74, 30))
|
||||
>U : Symbol(U, Decl(inferTypes1.ts, 74, 30))
|
||||
|
||||
type T63<T> = T extends (infer A extends infer B ? infer C : infer D) ? string : number;
|
||||
>T63 : Symbol(T63, Decl(inferTypes1.ts, 74, 44))
|
||||
>T : Symbol(T, Decl(inferTypes1.ts, 75, 9))
|
||||
>T : Symbol(T, Decl(inferTypes1.ts, 75, 9))
|
||||
>A : Symbol(A, Decl(inferTypes1.ts, 75, 30))
|
||||
>B : Symbol(B, Decl(inferTypes1.ts, 75, 46))
|
||||
>C : Symbol(C, Decl(inferTypes1.ts, 75, 56))
|
||||
>D : Symbol(D, Decl(inferTypes1.ts, 75, 66))
|
||||
|
||||
type T70<T extends string> = { x: T };
|
||||
>T70 : Symbol(T70, Decl(inferTypes1.ts, 74, 44))
|
||||
>T : Symbol(T, Decl(inferTypes1.ts, 76, 9))
|
||||
>x : Symbol(x, Decl(inferTypes1.ts, 76, 30))
|
||||
>T : Symbol(T, Decl(inferTypes1.ts, 76, 9))
|
||||
>T70 : Symbol(T70, Decl(inferTypes1.ts, 75, 88))
|
||||
>T : Symbol(T, Decl(inferTypes1.ts, 77, 9))
|
||||
>x : Symbol(x, Decl(inferTypes1.ts, 77, 30))
|
||||
>T : Symbol(T, Decl(inferTypes1.ts, 77, 9))
|
||||
|
||||
type T71<T> = T extends T70<infer U> ? T70<U> : never;
|
||||
>T71 : Symbol(T71, Decl(inferTypes1.ts, 76, 38))
|
||||
>T : Symbol(T, Decl(inferTypes1.ts, 77, 9))
|
||||
>T : Symbol(T, Decl(inferTypes1.ts, 77, 9))
|
||||
>T70 : Symbol(T70, Decl(inferTypes1.ts, 74, 44))
|
||||
>U : Symbol(U, Decl(inferTypes1.ts, 77, 33))
|
||||
>T70 : Symbol(T70, Decl(inferTypes1.ts, 74, 44))
|
||||
>U : Symbol(U, Decl(inferTypes1.ts, 77, 33))
|
||||
>T71 : Symbol(T71, Decl(inferTypes1.ts, 77, 38))
|
||||
>T : Symbol(T, Decl(inferTypes1.ts, 78, 9))
|
||||
>T : Symbol(T, Decl(inferTypes1.ts, 78, 9))
|
||||
>T70 : Symbol(T70, Decl(inferTypes1.ts, 75, 88))
|
||||
>U : Symbol(U, Decl(inferTypes1.ts, 78, 33))
|
||||
>T70 : Symbol(T70, Decl(inferTypes1.ts, 75, 88))
|
||||
>U : Symbol(U, Decl(inferTypes1.ts, 78, 33))
|
||||
|
||||
type T72<T extends number> = { y: T };
|
||||
>T72 : Symbol(T72, Decl(inferTypes1.ts, 77, 54))
|
||||
>T : Symbol(T, Decl(inferTypes1.ts, 79, 9))
|
||||
>y : Symbol(y, Decl(inferTypes1.ts, 79, 30))
|
||||
>T : Symbol(T, Decl(inferTypes1.ts, 79, 9))
|
||||
>T72 : Symbol(T72, Decl(inferTypes1.ts, 78, 54))
|
||||
>T : Symbol(T, Decl(inferTypes1.ts, 80, 9))
|
||||
>y : Symbol(y, Decl(inferTypes1.ts, 80, 30))
|
||||
>T : Symbol(T, Decl(inferTypes1.ts, 80, 9))
|
||||
|
||||
type T73<T> = T extends T72<infer U> ? T70<U> : never; // Error
|
||||
>T73 : Symbol(T73, Decl(inferTypes1.ts, 79, 38))
|
||||
>T : Symbol(T, Decl(inferTypes1.ts, 80, 9))
|
||||
>T : Symbol(T, Decl(inferTypes1.ts, 80, 9))
|
||||
>T72 : Symbol(T72, Decl(inferTypes1.ts, 77, 54))
|
||||
>U : Symbol(U, Decl(inferTypes1.ts, 80, 33))
|
||||
>T70 : Symbol(T70, Decl(inferTypes1.ts, 74, 44))
|
||||
>U : Symbol(U, Decl(inferTypes1.ts, 80, 33))
|
||||
>T73 : Symbol(T73, Decl(inferTypes1.ts, 80, 38))
|
||||
>T : Symbol(T, Decl(inferTypes1.ts, 81, 9))
|
||||
>T : Symbol(T, Decl(inferTypes1.ts, 81, 9))
|
||||
>T72 : Symbol(T72, Decl(inferTypes1.ts, 78, 54))
|
||||
>U : Symbol(U, Decl(inferTypes1.ts, 81, 33))
|
||||
>T70 : Symbol(T70, Decl(inferTypes1.ts, 75, 88))
|
||||
>U : Symbol(U, Decl(inferTypes1.ts, 81, 33))
|
||||
|
||||
type T74<T extends number, U extends string> = { x: T, y: U };
|
||||
>T74 : Symbol(T74, Decl(inferTypes1.ts, 80, 54))
|
||||
>T : Symbol(T, Decl(inferTypes1.ts, 82, 9))
|
||||
>U : Symbol(U, Decl(inferTypes1.ts, 82, 26))
|
||||
>x : Symbol(x, Decl(inferTypes1.ts, 82, 48))
|
||||
>T : Symbol(T, Decl(inferTypes1.ts, 82, 9))
|
||||
>y : Symbol(y, Decl(inferTypes1.ts, 82, 54))
|
||||
>U : Symbol(U, Decl(inferTypes1.ts, 82, 26))
|
||||
>T74 : Symbol(T74, Decl(inferTypes1.ts, 81, 54))
|
||||
>T : Symbol(T, Decl(inferTypes1.ts, 83, 9))
|
||||
>U : Symbol(U, Decl(inferTypes1.ts, 83, 26))
|
||||
>x : Symbol(x, Decl(inferTypes1.ts, 83, 48))
|
||||
>T : Symbol(T, Decl(inferTypes1.ts, 83, 9))
|
||||
>y : Symbol(y, Decl(inferTypes1.ts, 83, 54))
|
||||
>U : Symbol(U, Decl(inferTypes1.ts, 83, 26))
|
||||
|
||||
type T75<T> = T extends T74<infer U, infer U> ? T70<U> | T72<U> | T74<U, U> : never;
|
||||
>T75 : Symbol(T75, Decl(inferTypes1.ts, 82, 62))
|
||||
>T : Symbol(T, Decl(inferTypes1.ts, 83, 9))
|
||||
>T : Symbol(T, Decl(inferTypes1.ts, 83, 9))
|
||||
>T74 : Symbol(T74, Decl(inferTypes1.ts, 80, 54))
|
||||
>U : Symbol(U, Decl(inferTypes1.ts, 83, 33), Decl(inferTypes1.ts, 83, 42))
|
||||
>U : Symbol(U, Decl(inferTypes1.ts, 83, 33), Decl(inferTypes1.ts, 83, 42))
|
||||
>T70 : Symbol(T70, Decl(inferTypes1.ts, 74, 44))
|
||||
>U : Symbol(U, Decl(inferTypes1.ts, 83, 33), Decl(inferTypes1.ts, 83, 42))
|
||||
>T72 : Symbol(T72, Decl(inferTypes1.ts, 77, 54))
|
||||
>U : Symbol(U, Decl(inferTypes1.ts, 83, 33), Decl(inferTypes1.ts, 83, 42))
|
||||
>T74 : Symbol(T74, Decl(inferTypes1.ts, 80, 54))
|
||||
>U : Symbol(U, Decl(inferTypes1.ts, 83, 33), Decl(inferTypes1.ts, 83, 42))
|
||||
>U : Symbol(U, Decl(inferTypes1.ts, 83, 33), Decl(inferTypes1.ts, 83, 42))
|
||||
>T75 : Symbol(T75, Decl(inferTypes1.ts, 83, 62))
|
||||
>T : Symbol(T, Decl(inferTypes1.ts, 84, 9))
|
||||
>T : Symbol(T, Decl(inferTypes1.ts, 84, 9))
|
||||
>T74 : Symbol(T74, Decl(inferTypes1.ts, 81, 54))
|
||||
>U : Symbol(U, Decl(inferTypes1.ts, 84, 33), Decl(inferTypes1.ts, 84, 42))
|
||||
>U : Symbol(U, Decl(inferTypes1.ts, 84, 33), Decl(inferTypes1.ts, 84, 42))
|
||||
>T70 : Symbol(T70, Decl(inferTypes1.ts, 75, 88))
|
||||
>U : Symbol(U, Decl(inferTypes1.ts, 84, 33), Decl(inferTypes1.ts, 84, 42))
|
||||
>T72 : Symbol(T72, Decl(inferTypes1.ts, 78, 54))
|
||||
>U : Symbol(U, Decl(inferTypes1.ts, 84, 33), Decl(inferTypes1.ts, 84, 42))
|
||||
>T74 : Symbol(T74, Decl(inferTypes1.ts, 81, 54))
|
||||
>U : Symbol(U, Decl(inferTypes1.ts, 84, 33), Decl(inferTypes1.ts, 84, 42))
|
||||
>U : Symbol(U, Decl(inferTypes1.ts, 84, 33), Decl(inferTypes1.ts, 84, 42))
|
||||
|
||||
type T76<T extends T[], U extends T> = { x: T };
|
||||
>T76 : Symbol(T76, Decl(inferTypes1.ts, 83, 84))
|
||||
>T : Symbol(T, Decl(inferTypes1.ts, 85, 9))
|
||||
>T : Symbol(T, Decl(inferTypes1.ts, 85, 9))
|
||||
>U : Symbol(U, Decl(inferTypes1.ts, 85, 23))
|
||||
>T : Symbol(T, Decl(inferTypes1.ts, 85, 9))
|
||||
>x : Symbol(x, Decl(inferTypes1.ts, 85, 40))
|
||||
>T : Symbol(T, Decl(inferTypes1.ts, 85, 9))
|
||||
>T76 : Symbol(T76, Decl(inferTypes1.ts, 84, 84))
|
||||
>T : Symbol(T, Decl(inferTypes1.ts, 86, 9))
|
||||
>T : Symbol(T, Decl(inferTypes1.ts, 86, 9))
|
||||
>U : Symbol(U, Decl(inferTypes1.ts, 86, 23))
|
||||
>T : Symbol(T, Decl(inferTypes1.ts, 86, 9))
|
||||
>x : Symbol(x, Decl(inferTypes1.ts, 86, 40))
|
||||
>T : Symbol(T, Decl(inferTypes1.ts, 86, 9))
|
||||
|
||||
type T77<T> = T extends T76<infer X, infer Y> ? T76<X, Y> : never;
|
||||
>T77 : Symbol(T77, Decl(inferTypes1.ts, 85, 48))
|
||||
>T : Symbol(T, Decl(inferTypes1.ts, 86, 9))
|
||||
>T : Symbol(T, Decl(inferTypes1.ts, 86, 9))
|
||||
>T76 : Symbol(T76, Decl(inferTypes1.ts, 83, 84))
|
||||
>X : Symbol(X, Decl(inferTypes1.ts, 86, 33))
|
||||
>Y : Symbol(Y, Decl(inferTypes1.ts, 86, 42))
|
||||
>T76 : Symbol(T76, Decl(inferTypes1.ts, 83, 84))
|
||||
>X : Symbol(X, Decl(inferTypes1.ts, 86, 33))
|
||||
>Y : Symbol(Y, Decl(inferTypes1.ts, 86, 42))
|
||||
>T77 : Symbol(T77, Decl(inferTypes1.ts, 86, 48))
|
||||
>T : Symbol(T, Decl(inferTypes1.ts, 87, 9))
|
||||
>T : Symbol(T, Decl(inferTypes1.ts, 87, 9))
|
||||
>T76 : Symbol(T76, Decl(inferTypes1.ts, 84, 84))
|
||||
>X : Symbol(X, Decl(inferTypes1.ts, 87, 33))
|
||||
>Y : Symbol(Y, Decl(inferTypes1.ts, 87, 42))
|
||||
>T76 : Symbol(T76, Decl(inferTypes1.ts, 84, 84))
|
||||
>X : Symbol(X, Decl(inferTypes1.ts, 87, 33))
|
||||
>Y : Symbol(Y, Decl(inferTypes1.ts, 87, 42))
|
||||
|
||||
type T78<T> = T extends T76<infer X, infer X> ? T76<X, X> : never;
|
||||
>T78 : Symbol(T78, Decl(inferTypes1.ts, 86, 66))
|
||||
>T : Symbol(T, Decl(inferTypes1.ts, 87, 9))
|
||||
>T : Symbol(T, Decl(inferTypes1.ts, 87, 9))
|
||||
>T76 : Symbol(T76, Decl(inferTypes1.ts, 83, 84))
|
||||
>X : Symbol(X, Decl(inferTypes1.ts, 87, 33), Decl(inferTypes1.ts, 87, 42))
|
||||
>X : Symbol(X, Decl(inferTypes1.ts, 87, 33), Decl(inferTypes1.ts, 87, 42))
|
||||
>T76 : Symbol(T76, Decl(inferTypes1.ts, 83, 84))
|
||||
>X : Symbol(X, Decl(inferTypes1.ts, 87, 33), Decl(inferTypes1.ts, 87, 42))
|
||||
>X : Symbol(X, Decl(inferTypes1.ts, 87, 33), Decl(inferTypes1.ts, 87, 42))
|
||||
>T78 : Symbol(T78, Decl(inferTypes1.ts, 87, 66))
|
||||
>T : Symbol(T, Decl(inferTypes1.ts, 88, 9))
|
||||
>T : Symbol(T, Decl(inferTypes1.ts, 88, 9))
|
||||
>T76 : Symbol(T76, Decl(inferTypes1.ts, 84, 84))
|
||||
>X : Symbol(X, Decl(inferTypes1.ts, 88, 33), Decl(inferTypes1.ts, 88, 42))
|
||||
>X : Symbol(X, Decl(inferTypes1.ts, 88, 33), Decl(inferTypes1.ts, 88, 42))
|
||||
>T76 : Symbol(T76, Decl(inferTypes1.ts, 84, 84))
|
||||
>X : Symbol(X, Decl(inferTypes1.ts, 88, 33), Decl(inferTypes1.ts, 88, 42))
|
||||
>X : Symbol(X, Decl(inferTypes1.ts, 88, 33), Decl(inferTypes1.ts, 88, 42))
|
||||
|
||||
type Foo<T extends string, U extends T> = [T, U];
|
||||
>Foo : Symbol(Foo, Decl(inferTypes1.ts, 87, 66))
|
||||
>T : Symbol(T, Decl(inferTypes1.ts, 89, 9))
|
||||
>U : Symbol(U, Decl(inferTypes1.ts, 89, 26))
|
||||
>T : Symbol(T, Decl(inferTypes1.ts, 89, 9))
|
||||
>T : Symbol(T, Decl(inferTypes1.ts, 89, 9))
|
||||
>U : Symbol(U, Decl(inferTypes1.ts, 89, 26))
|
||||
>Foo : Symbol(Foo, Decl(inferTypes1.ts, 88, 66))
|
||||
>T : Symbol(T, Decl(inferTypes1.ts, 90, 9))
|
||||
>U : Symbol(U, Decl(inferTypes1.ts, 90, 26))
|
||||
>T : Symbol(T, Decl(inferTypes1.ts, 90, 9))
|
||||
>T : Symbol(T, Decl(inferTypes1.ts, 90, 9))
|
||||
>U : Symbol(U, Decl(inferTypes1.ts, 90, 26))
|
||||
|
||||
type Bar<T> = T extends Foo<infer X, infer Y> ? Foo<X, Y> : never;
|
||||
>Bar : Symbol(Bar, Decl(inferTypes1.ts, 89, 49))
|
||||
>T : Symbol(T, Decl(inferTypes1.ts, 90, 9))
|
||||
>T : Symbol(T, Decl(inferTypes1.ts, 90, 9))
|
||||
>Foo : Symbol(Foo, Decl(inferTypes1.ts, 87, 66))
|
||||
>X : Symbol(X, Decl(inferTypes1.ts, 90, 33))
|
||||
>Y : Symbol(Y, Decl(inferTypes1.ts, 90, 42))
|
||||
>Foo : Symbol(Foo, Decl(inferTypes1.ts, 87, 66))
|
||||
>X : Symbol(X, Decl(inferTypes1.ts, 90, 33))
|
||||
>Y : Symbol(Y, Decl(inferTypes1.ts, 90, 42))
|
||||
>Bar : Symbol(Bar, Decl(inferTypes1.ts, 90, 49))
|
||||
>T : Symbol(T, Decl(inferTypes1.ts, 91, 9))
|
||||
>T : Symbol(T, Decl(inferTypes1.ts, 91, 9))
|
||||
>Foo : Symbol(Foo, Decl(inferTypes1.ts, 88, 66))
|
||||
>X : Symbol(X, Decl(inferTypes1.ts, 91, 33))
|
||||
>Y : Symbol(Y, Decl(inferTypes1.ts, 91, 42))
|
||||
>Foo : Symbol(Foo, Decl(inferTypes1.ts, 88, 66))
|
||||
>X : Symbol(X, Decl(inferTypes1.ts, 91, 33))
|
||||
>Y : Symbol(Y, Decl(inferTypes1.ts, 91, 42))
|
||||
|
||||
type T90 = Bar<[string, string]>; // [string, string]
|
||||
>T90 : Symbol(T90, Decl(inferTypes1.ts, 90, 66))
|
||||
>Bar : Symbol(Bar, Decl(inferTypes1.ts, 89, 49))
|
||||
>T90 : Symbol(T90, Decl(inferTypes1.ts, 91, 66))
|
||||
>Bar : Symbol(Bar, Decl(inferTypes1.ts, 90, 49))
|
||||
|
||||
type T91 = Bar<[string, "a"]>; // [string, "a"]
|
||||
>T91 : Symbol(T91, Decl(inferTypes1.ts, 92, 33))
|
||||
>Bar : Symbol(Bar, Decl(inferTypes1.ts, 89, 49))
|
||||
>T91 : Symbol(T91, Decl(inferTypes1.ts, 93, 33))
|
||||
>Bar : Symbol(Bar, Decl(inferTypes1.ts, 90, 49))
|
||||
|
||||
type T92 = Bar<[string, "a"] & { x: string }>; // [string, "a"]
|
||||
>T92 : Symbol(T92, Decl(inferTypes1.ts, 93, 30))
|
||||
>Bar : Symbol(Bar, Decl(inferTypes1.ts, 89, 49))
|
||||
>x : Symbol(x, Decl(inferTypes1.ts, 94, 32))
|
||||
>T92 : Symbol(T92, Decl(inferTypes1.ts, 94, 30))
|
||||
>Bar : Symbol(Bar, Decl(inferTypes1.ts, 90, 49))
|
||||
>x : Symbol(x, Decl(inferTypes1.ts, 95, 32))
|
||||
|
||||
type T93 = Bar<["a", string]>; // never
|
||||
>T93 : Symbol(T93, Decl(inferTypes1.ts, 94, 46))
|
||||
>Bar : Symbol(Bar, Decl(inferTypes1.ts, 89, 49))
|
||||
>T93 : Symbol(T93, Decl(inferTypes1.ts, 95, 46))
|
||||
>Bar : Symbol(Bar, Decl(inferTypes1.ts, 90, 49))
|
||||
|
||||
type T94 = Bar<[number, number]>; // never
|
||||
>T94 : Symbol(T94, Decl(inferTypes1.ts, 95, 30))
|
||||
>Bar : Symbol(Bar, Decl(inferTypes1.ts, 89, 49))
|
||||
>T94 : Symbol(T94, Decl(inferTypes1.ts, 96, 30))
|
||||
>Bar : Symbol(Bar, Decl(inferTypes1.ts, 90, 49))
|
||||
|
||||
// Example from #21496
|
||||
|
||||
type JsonifiedObject<T extends object> = { [K in keyof T]: Jsonified<T[K]> };
|
||||
>JsonifiedObject : Symbol(JsonifiedObject, Decl(inferTypes1.ts, 96, 33))
|
||||
>T : Symbol(T, Decl(inferTypes1.ts, 100, 21))
|
||||
>K : Symbol(K, Decl(inferTypes1.ts, 100, 44))
|
||||
>T : Symbol(T, Decl(inferTypes1.ts, 100, 21))
|
||||
>Jsonified : Symbol(Jsonified, Decl(inferTypes1.ts, 100, 77))
|
||||
>T : Symbol(T, Decl(inferTypes1.ts, 100, 21))
|
||||
>K : Symbol(K, Decl(inferTypes1.ts, 100, 44))
|
||||
>JsonifiedObject : Symbol(JsonifiedObject, Decl(inferTypes1.ts, 97, 33))
|
||||
>T : Symbol(T, Decl(inferTypes1.ts, 101, 21))
|
||||
>K : Symbol(K, Decl(inferTypes1.ts, 101, 44))
|
||||
>T : Symbol(T, Decl(inferTypes1.ts, 101, 21))
|
||||
>Jsonified : Symbol(Jsonified, Decl(inferTypes1.ts, 101, 77))
|
||||
>T : Symbol(T, Decl(inferTypes1.ts, 101, 21))
|
||||
>K : Symbol(K, Decl(inferTypes1.ts, 101, 44))
|
||||
|
||||
type Jsonified<T> =
|
||||
>Jsonified : Symbol(Jsonified, Decl(inferTypes1.ts, 100, 77))
|
||||
>T : Symbol(T, Decl(inferTypes1.ts, 102, 15))
|
||||
>Jsonified : Symbol(Jsonified, Decl(inferTypes1.ts, 101, 77))
|
||||
>T : Symbol(T, Decl(inferTypes1.ts, 103, 15))
|
||||
|
||||
T extends string | number | boolean | null ? T
|
||||
>T : Symbol(T, Decl(inferTypes1.ts, 102, 15))
|
||||
>T : Symbol(T, Decl(inferTypes1.ts, 102, 15))
|
||||
>T : Symbol(T, Decl(inferTypes1.ts, 103, 15))
|
||||
>T : Symbol(T, Decl(inferTypes1.ts, 103, 15))
|
||||
|
||||
: T extends undefined | Function ? never // undefined and functions are removed
|
||||
>T : Symbol(T, Decl(inferTypes1.ts, 102, 15))
|
||||
>T : Symbol(T, Decl(inferTypes1.ts, 103, 15))
|
||||
>Function : Symbol(Function, Decl(lib.d.ts, --, --), Decl(lib.d.ts, --, --))
|
||||
|
||||
: T extends { toJSON(): infer R } ? R // toJSON is called if it exists (e.g. Date)
|
||||
>T : Symbol(T, Decl(inferTypes1.ts, 102, 15))
|
||||
>toJSON : Symbol(toJSON, Decl(inferTypes1.ts, 105, 17))
|
||||
>R : Symbol(R, Decl(inferTypes1.ts, 105, 33))
|
||||
>R : Symbol(R, Decl(inferTypes1.ts, 105, 33))
|
||||
>T : Symbol(T, Decl(inferTypes1.ts, 103, 15))
|
||||
>toJSON : Symbol(toJSON, Decl(inferTypes1.ts, 106, 17))
|
||||
>R : Symbol(R, Decl(inferTypes1.ts, 106, 33))
|
||||
>R : Symbol(R, Decl(inferTypes1.ts, 106, 33))
|
||||
|
||||
: T extends object ? JsonifiedObject<T>
|
||||
>T : Symbol(T, Decl(inferTypes1.ts, 102, 15))
|
||||
>JsonifiedObject : Symbol(JsonifiedObject, Decl(inferTypes1.ts, 96, 33))
|
||||
>T : Symbol(T, Decl(inferTypes1.ts, 102, 15))
|
||||
>T : Symbol(T, Decl(inferTypes1.ts, 103, 15))
|
||||
>JsonifiedObject : Symbol(JsonifiedObject, Decl(inferTypes1.ts, 97, 33))
|
||||
>T : Symbol(T, Decl(inferTypes1.ts, 103, 15))
|
||||
|
||||
: "what is this";
|
||||
|
||||
type Example = {
|
||||
>Example : Symbol(Example, Decl(inferTypes1.ts, 107, 21))
|
||||
>Example : Symbol(Example, Decl(inferTypes1.ts, 108, 21))
|
||||
|
||||
str: "literalstring",
|
||||
>str : Symbol(str, Decl(inferTypes1.ts, 109, 16))
|
||||
>str : Symbol(str, Decl(inferTypes1.ts, 110, 16))
|
||||
|
||||
fn: () => void,
|
||||
>fn : Symbol(fn, Decl(inferTypes1.ts, 110, 25))
|
||||
>fn : Symbol(fn, Decl(inferTypes1.ts, 111, 25))
|
||||
|
||||
date: Date,
|
||||
>date : Symbol(date, Decl(inferTypes1.ts, 111, 19))
|
||||
>date : Symbol(date, Decl(inferTypes1.ts, 112, 19))
|
||||
>Date : Symbol(Date, Decl(lib.d.ts, --, --), Decl(lib.d.ts, --, --), Decl(lib.d.ts, --, --))
|
||||
|
||||
customClass: MyClass,
|
||||
>customClass : Symbol(customClass, Decl(inferTypes1.ts, 112, 15))
|
||||
>MyClass : Symbol(MyClass, Decl(inferTypes1.ts, 119, 1))
|
||||
>customClass : Symbol(customClass, Decl(inferTypes1.ts, 113, 15))
|
||||
>MyClass : Symbol(MyClass, Decl(inferTypes1.ts, 120, 1))
|
||||
|
||||
obj: {
|
||||
>obj : Symbol(obj, Decl(inferTypes1.ts, 113, 25))
|
||||
>obj : Symbol(obj, Decl(inferTypes1.ts, 114, 25))
|
||||
|
||||
prop: "property",
|
||||
>prop : Symbol(prop, Decl(inferTypes1.ts, 114, 10))
|
||||
>prop : Symbol(prop, Decl(inferTypes1.ts, 115, 10))
|
||||
|
||||
clz: MyClass,
|
||||
>clz : Symbol(clz, Decl(inferTypes1.ts, 115, 25))
|
||||
>MyClass : Symbol(MyClass, Decl(inferTypes1.ts, 119, 1))
|
||||
>clz : Symbol(clz, Decl(inferTypes1.ts, 116, 25))
|
||||
>MyClass : Symbol(MyClass, Decl(inferTypes1.ts, 120, 1))
|
||||
|
||||
nested: { attr: Date }
|
||||
>nested : Symbol(nested, Decl(inferTypes1.ts, 116, 21))
|
||||
>attr : Symbol(attr, Decl(inferTypes1.ts, 117, 17))
|
||||
>nested : Symbol(nested, Decl(inferTypes1.ts, 117, 21))
|
||||
>attr : Symbol(attr, Decl(inferTypes1.ts, 118, 17))
|
||||
>Date : Symbol(Date, Decl(lib.d.ts, --, --), Decl(lib.d.ts, --, --), Decl(lib.d.ts, --, --))
|
||||
|
||||
},
|
||||
}
|
||||
|
||||
declare class MyClass {
|
||||
>MyClass : Symbol(MyClass, Decl(inferTypes1.ts, 119, 1))
|
||||
>MyClass : Symbol(MyClass, Decl(inferTypes1.ts, 120, 1))
|
||||
|
||||
toJSON(): "correct";
|
||||
>toJSON : Symbol(MyClass.toJSON, Decl(inferTypes1.ts, 121, 23))
|
||||
>toJSON : Symbol(MyClass.toJSON, Decl(inferTypes1.ts, 122, 23))
|
||||
}
|
||||
|
||||
type JsonifiedExample = Jsonified<Example>;
|
||||
>JsonifiedExample : Symbol(JsonifiedExample, Decl(inferTypes1.ts, 123, 1))
|
||||
>Jsonified : Symbol(Jsonified, Decl(inferTypes1.ts, 100, 77))
|
||||
>Example : Symbol(Example, Decl(inferTypes1.ts, 107, 21))
|
||||
>JsonifiedExample : Symbol(JsonifiedExample, Decl(inferTypes1.ts, 124, 1))
|
||||
>Jsonified : Symbol(Jsonified, Decl(inferTypes1.ts, 101, 77))
|
||||
>Example : Symbol(Example, Decl(inferTypes1.ts, 108, 21))
|
||||
|
||||
declare let ex: JsonifiedExample;
|
||||
>ex : Symbol(ex, Decl(inferTypes1.ts, 126, 11))
|
||||
>JsonifiedExample : Symbol(JsonifiedExample, Decl(inferTypes1.ts, 123, 1))
|
||||
>ex : Symbol(ex, Decl(inferTypes1.ts, 127, 11))
|
||||
>JsonifiedExample : Symbol(JsonifiedExample, Decl(inferTypes1.ts, 124, 1))
|
||||
|
||||
const z1: "correct" = ex.customClass;
|
||||
>z1 : Symbol(z1, Decl(inferTypes1.ts, 127, 5))
|
||||
>ex.customClass : Symbol(customClass, Decl(inferTypes1.ts, 112, 15))
|
||||
>ex : Symbol(ex, Decl(inferTypes1.ts, 126, 11))
|
||||
>customClass : Symbol(customClass, Decl(inferTypes1.ts, 112, 15))
|
||||
>z1 : Symbol(z1, Decl(inferTypes1.ts, 128, 5))
|
||||
>ex.customClass : Symbol(customClass, Decl(inferTypes1.ts, 113, 15))
|
||||
>ex : Symbol(ex, Decl(inferTypes1.ts, 127, 11))
|
||||
>customClass : Symbol(customClass, Decl(inferTypes1.ts, 113, 15))
|
||||
|
||||
const z2: string = ex.obj.nested.attr;
|
||||
>z2 : Symbol(z2, Decl(inferTypes1.ts, 128, 5))
|
||||
>ex.obj.nested.attr : Symbol(attr, Decl(inferTypes1.ts, 117, 17))
|
||||
>ex.obj.nested : Symbol(nested, Decl(inferTypes1.ts, 116, 21))
|
||||
>ex.obj : Symbol(obj, Decl(inferTypes1.ts, 113, 25))
|
||||
>ex : Symbol(ex, Decl(inferTypes1.ts, 126, 11))
|
||||
>obj : Symbol(obj, Decl(inferTypes1.ts, 113, 25))
|
||||
>nested : Symbol(nested, Decl(inferTypes1.ts, 116, 21))
|
||||
>attr : Symbol(attr, Decl(inferTypes1.ts, 117, 17))
|
||||
>z2 : Symbol(z2, Decl(inferTypes1.ts, 129, 5))
|
||||
>ex.obj.nested.attr : Symbol(attr, Decl(inferTypes1.ts, 118, 17))
|
||||
>ex.obj.nested : Symbol(nested, Decl(inferTypes1.ts, 117, 21))
|
||||
>ex.obj : Symbol(obj, Decl(inferTypes1.ts, 114, 25))
|
||||
>ex : Symbol(ex, Decl(inferTypes1.ts, 127, 11))
|
||||
>obj : Symbol(obj, Decl(inferTypes1.ts, 114, 25))
|
||||
>nested : Symbol(nested, Decl(inferTypes1.ts, 117, 21))
|
||||
>attr : Symbol(attr, Decl(inferTypes1.ts, 118, 17))
|
||||
|
||||
// Repros from #21631
|
||||
|
||||
type A1<T, U extends A1<any, any>> = [T, U];
|
||||
>A1 : Symbol(A1, Decl(inferTypes1.ts, 128, 38))
|
||||
>T : Symbol(T, Decl(inferTypes1.ts, 132, 8))
|
||||
>U : Symbol(U, Decl(inferTypes1.ts, 132, 10))
|
||||
>A1 : Symbol(A1, Decl(inferTypes1.ts, 128, 38))
|
||||
>T : Symbol(T, Decl(inferTypes1.ts, 132, 8))
|
||||
>U : Symbol(U, Decl(inferTypes1.ts, 132, 10))
|
||||
>A1 : Symbol(A1, Decl(inferTypes1.ts, 129, 38))
|
||||
>T : Symbol(T, Decl(inferTypes1.ts, 133, 8))
|
||||
>U : Symbol(U, Decl(inferTypes1.ts, 133, 10))
|
||||
>A1 : Symbol(A1, Decl(inferTypes1.ts, 129, 38))
|
||||
>T : Symbol(T, Decl(inferTypes1.ts, 133, 8))
|
||||
>U : Symbol(U, Decl(inferTypes1.ts, 133, 10))
|
||||
|
||||
type B1<S> = S extends A1<infer T, infer U> ? [T, U] : never;
|
||||
>B1 : Symbol(B1, Decl(inferTypes1.ts, 132, 44))
|
||||
>S : Symbol(S, Decl(inferTypes1.ts, 133, 8))
|
||||
>S : Symbol(S, Decl(inferTypes1.ts, 133, 8))
|
||||
>A1 : Symbol(A1, Decl(inferTypes1.ts, 128, 38))
|
||||
>T : Symbol(T, Decl(inferTypes1.ts, 133, 31))
|
||||
>U : Symbol(U, Decl(inferTypes1.ts, 133, 40))
|
||||
>T : Symbol(T, Decl(inferTypes1.ts, 133, 31))
|
||||
>U : Symbol(U, Decl(inferTypes1.ts, 133, 40))
|
||||
>B1 : Symbol(B1, Decl(inferTypes1.ts, 133, 44))
|
||||
>S : Symbol(S, Decl(inferTypes1.ts, 134, 8))
|
||||
>S : Symbol(S, Decl(inferTypes1.ts, 134, 8))
|
||||
>A1 : Symbol(A1, Decl(inferTypes1.ts, 129, 38))
|
||||
>T : Symbol(T, Decl(inferTypes1.ts, 134, 31))
|
||||
>U : Symbol(U, Decl(inferTypes1.ts, 134, 40))
|
||||
>T : Symbol(T, Decl(inferTypes1.ts, 134, 31))
|
||||
>U : Symbol(U, Decl(inferTypes1.ts, 134, 40))
|
||||
|
||||
type A2<T, U extends void> = [T, U];
|
||||
>A2 : Symbol(A2, Decl(inferTypes1.ts, 133, 61))
|
||||
>T : Symbol(T, Decl(inferTypes1.ts, 135, 8))
|
||||
>U : Symbol(U, Decl(inferTypes1.ts, 135, 10))
|
||||
>T : Symbol(T, Decl(inferTypes1.ts, 135, 8))
|
||||
>U : Symbol(U, Decl(inferTypes1.ts, 135, 10))
|
||||
>A2 : Symbol(A2, Decl(inferTypes1.ts, 134, 61))
|
||||
>T : Symbol(T, Decl(inferTypes1.ts, 136, 8))
|
||||
>U : Symbol(U, Decl(inferTypes1.ts, 136, 10))
|
||||
>T : Symbol(T, Decl(inferTypes1.ts, 136, 8))
|
||||
>U : Symbol(U, Decl(inferTypes1.ts, 136, 10))
|
||||
|
||||
type B2<S> = S extends A2<infer T, infer U> ? [T, U] : never;
|
||||
>B2 : Symbol(B2, Decl(inferTypes1.ts, 135, 36))
|
||||
>S : Symbol(S, Decl(inferTypes1.ts, 136, 8))
|
||||
>S : Symbol(S, Decl(inferTypes1.ts, 136, 8))
|
||||
>A2 : Symbol(A2, Decl(inferTypes1.ts, 133, 61))
|
||||
>T : Symbol(T, Decl(inferTypes1.ts, 136, 31))
|
||||
>U : Symbol(U, Decl(inferTypes1.ts, 136, 40))
|
||||
>T : Symbol(T, Decl(inferTypes1.ts, 136, 31))
|
||||
>U : Symbol(U, Decl(inferTypes1.ts, 136, 40))
|
||||
>B2 : Symbol(B2, Decl(inferTypes1.ts, 136, 36))
|
||||
>S : Symbol(S, Decl(inferTypes1.ts, 137, 8))
|
||||
>S : Symbol(S, Decl(inferTypes1.ts, 137, 8))
|
||||
>A2 : Symbol(A2, Decl(inferTypes1.ts, 134, 61))
|
||||
>T : Symbol(T, Decl(inferTypes1.ts, 137, 31))
|
||||
>U : Symbol(U, Decl(inferTypes1.ts, 137, 40))
|
||||
>T : Symbol(T, Decl(inferTypes1.ts, 137, 31))
|
||||
>U : Symbol(U, Decl(inferTypes1.ts, 137, 40))
|
||||
|
||||
type C2<S, U extends void> = S extends A2<infer T, U> ? [T, U] : never;
|
||||
>C2 : Symbol(C2, Decl(inferTypes1.ts, 136, 61))
|
||||
>S : Symbol(S, Decl(inferTypes1.ts, 137, 8))
|
||||
>U : Symbol(U, Decl(inferTypes1.ts, 137, 10))
|
||||
>S : Symbol(S, Decl(inferTypes1.ts, 137, 8))
|
||||
>A2 : Symbol(A2, Decl(inferTypes1.ts, 133, 61))
|
||||
>T : Symbol(T, Decl(inferTypes1.ts, 137, 47))
|
||||
>U : Symbol(U, Decl(inferTypes1.ts, 137, 10))
|
||||
>T : Symbol(T, Decl(inferTypes1.ts, 137, 47))
|
||||
>U : Symbol(U, Decl(inferTypes1.ts, 137, 10))
|
||||
>C2 : Symbol(C2, Decl(inferTypes1.ts, 137, 61))
|
||||
>S : Symbol(S, Decl(inferTypes1.ts, 138, 8))
|
||||
>U : Symbol(U, Decl(inferTypes1.ts, 138, 10))
|
||||
>S : Symbol(S, Decl(inferTypes1.ts, 138, 8))
|
||||
>A2 : Symbol(A2, Decl(inferTypes1.ts, 134, 61))
|
||||
>T : Symbol(T, Decl(inferTypes1.ts, 138, 47))
|
||||
>U : Symbol(U, Decl(inferTypes1.ts, 138, 10))
|
||||
>T : Symbol(T, Decl(inferTypes1.ts, 138, 47))
|
||||
>U : Symbol(U, Decl(inferTypes1.ts, 138, 10))
|
||||
|
||||
// Repro from #21735
|
||||
|
||||
type A<T> = T extends string ? { [P in T]: void; } : T;
|
||||
>A : Symbol(A, Decl(inferTypes1.ts, 137, 71))
|
||||
>T : Symbol(T, Decl(inferTypes1.ts, 141, 7))
|
||||
>T : Symbol(T, Decl(inferTypes1.ts, 141, 7))
|
||||
>P : Symbol(P, Decl(inferTypes1.ts, 141, 34))
|
||||
>T : Symbol(T, Decl(inferTypes1.ts, 141, 7))
|
||||
>T : Symbol(T, Decl(inferTypes1.ts, 141, 7))
|
||||
|
||||
type B<T> = string extends T ? { [P in T]: void; } : T; // Error
|
||||
>B : Symbol(B, Decl(inferTypes1.ts, 141, 55))
|
||||
>A : Symbol(A, Decl(inferTypes1.ts, 138, 71))
|
||||
>T : Symbol(T, Decl(inferTypes1.ts, 142, 7))
|
||||
>T : Symbol(T, Decl(inferTypes1.ts, 142, 7))
|
||||
>P : Symbol(P, Decl(inferTypes1.ts, 142, 34))
|
||||
>T : Symbol(T, Decl(inferTypes1.ts, 142, 7))
|
||||
>T : Symbol(T, Decl(inferTypes1.ts, 142, 7))
|
||||
|
||||
type B<T> = string extends T ? { [P in T]: void; } : T; // Error
|
||||
>B : Symbol(B, Decl(inferTypes1.ts, 142, 55))
|
||||
>T : Symbol(T, Decl(inferTypes1.ts, 143, 7))
|
||||
>T : Symbol(T, Decl(inferTypes1.ts, 143, 7))
|
||||
>P : Symbol(P, Decl(inferTypes1.ts, 143, 34))
|
||||
>T : Symbol(T, Decl(inferTypes1.ts, 143, 7))
|
||||
>T : Symbol(T, Decl(inferTypes1.ts, 143, 7))
|
||||
|
||||
// Repro from #22302
|
||||
|
||||
type MatchingKeys<T, U, K extends keyof T = keyof T> =
|
||||
>MatchingKeys : Symbol(MatchingKeys, Decl(inferTypes1.ts, 142, 55))
|
||||
>T : Symbol(T, Decl(inferTypes1.ts, 146, 18))
|
||||
>U : Symbol(U, Decl(inferTypes1.ts, 146, 20))
|
||||
>K : Symbol(K, Decl(inferTypes1.ts, 146, 23))
|
||||
>T : Symbol(T, Decl(inferTypes1.ts, 146, 18))
|
||||
>T : Symbol(T, Decl(inferTypes1.ts, 146, 18))
|
||||
>MatchingKeys : Symbol(MatchingKeys, Decl(inferTypes1.ts, 143, 55))
|
||||
>T : Symbol(T, Decl(inferTypes1.ts, 147, 18))
|
||||
>U : Symbol(U, Decl(inferTypes1.ts, 147, 20))
|
||||
>K : Symbol(K, Decl(inferTypes1.ts, 147, 23))
|
||||
>T : Symbol(T, Decl(inferTypes1.ts, 147, 18))
|
||||
>T : Symbol(T, Decl(inferTypes1.ts, 147, 18))
|
||||
|
||||
K extends keyof T ? T[K] extends U ? K : never : never;
|
||||
>K : Symbol(K, Decl(inferTypes1.ts, 146, 23))
|
||||
>T : Symbol(T, Decl(inferTypes1.ts, 146, 18))
|
||||
>T : Symbol(T, Decl(inferTypes1.ts, 146, 18))
|
||||
>K : Symbol(K, Decl(inferTypes1.ts, 146, 23))
|
||||
>U : Symbol(U, Decl(inferTypes1.ts, 146, 20))
|
||||
>K : Symbol(K, Decl(inferTypes1.ts, 146, 23))
|
||||
>K : Symbol(K, Decl(inferTypes1.ts, 147, 23))
|
||||
>T : Symbol(T, Decl(inferTypes1.ts, 147, 18))
|
||||
>T : Symbol(T, Decl(inferTypes1.ts, 147, 18))
|
||||
>K : Symbol(K, Decl(inferTypes1.ts, 147, 23))
|
||||
>U : Symbol(U, Decl(inferTypes1.ts, 147, 20))
|
||||
>K : Symbol(K, Decl(inferTypes1.ts, 147, 23))
|
||||
|
||||
type VoidKeys<T> = MatchingKeys<T, void>;
|
||||
>VoidKeys : Symbol(VoidKeys, Decl(inferTypes1.ts, 147, 59))
|
||||
>T : Symbol(T, Decl(inferTypes1.ts, 149, 14))
|
||||
>MatchingKeys : Symbol(MatchingKeys, Decl(inferTypes1.ts, 142, 55))
|
||||
>T : Symbol(T, Decl(inferTypes1.ts, 149, 14))
|
||||
>VoidKeys : Symbol(VoidKeys, Decl(inferTypes1.ts, 148, 59))
|
||||
>T : Symbol(T, Decl(inferTypes1.ts, 150, 14))
|
||||
>MatchingKeys : Symbol(MatchingKeys, Decl(inferTypes1.ts, 143, 55))
|
||||
>T : Symbol(T, Decl(inferTypes1.ts, 150, 14))
|
||||
|
||||
interface test {
|
||||
>test : Symbol(test, Decl(inferTypes1.ts, 149, 41))
|
||||
>test : Symbol(test, Decl(inferTypes1.ts, 150, 41))
|
||||
|
||||
a: 1,
|
||||
>a : Symbol(test.a, Decl(inferTypes1.ts, 151, 16))
|
||||
>a : Symbol(test.a, Decl(inferTypes1.ts, 152, 16))
|
||||
|
||||
b: void
|
||||
>b : Symbol(test.b, Decl(inferTypes1.ts, 152, 9))
|
||||
>b : Symbol(test.b, Decl(inferTypes1.ts, 153, 9))
|
||||
}
|
||||
|
||||
type T80 = MatchingKeys<test, void>;
|
||||
>T80 : Symbol(T80, Decl(inferTypes1.ts, 154, 1))
|
||||
>MatchingKeys : Symbol(MatchingKeys, Decl(inferTypes1.ts, 142, 55))
|
||||
>test : Symbol(test, Decl(inferTypes1.ts, 149, 41))
|
||||
>T80 : Symbol(T80, Decl(inferTypes1.ts, 155, 1))
|
||||
>MatchingKeys : Symbol(MatchingKeys, Decl(inferTypes1.ts, 143, 55))
|
||||
>test : Symbol(test, Decl(inferTypes1.ts, 150, 41))
|
||||
|
||||
type T81 = VoidKeys<test>;
|
||||
>T81 : Symbol(T81, Decl(inferTypes1.ts, 156, 36))
|
||||
>VoidKeys : Symbol(VoidKeys, Decl(inferTypes1.ts, 147, 59))
|
||||
>test : Symbol(test, Decl(inferTypes1.ts, 149, 41))
|
||||
>T81 : Symbol(T81, Decl(inferTypes1.ts, 157, 36))
|
||||
>VoidKeys : Symbol(VoidKeys, Decl(inferTypes1.ts, 148, 59))
|
||||
>test : Symbol(test, Decl(inferTypes1.ts, 150, 41))
|
||||
|
||||
// Repro from #22221
|
||||
|
||||
type MustBeString<T extends string> = T;
|
||||
>MustBeString : Symbol(MustBeString, Decl(inferTypes1.ts, 157, 26))
|
||||
>T : Symbol(T, Decl(inferTypes1.ts, 161, 18))
|
||||
>T : Symbol(T, Decl(inferTypes1.ts, 161, 18))
|
||||
>MustBeString : Symbol(MustBeString, Decl(inferTypes1.ts, 158, 26))
|
||||
>T : Symbol(T, Decl(inferTypes1.ts, 162, 18))
|
||||
>T : Symbol(T, Decl(inferTypes1.ts, 162, 18))
|
||||
|
||||
type EnsureIsString<T> = T extends MustBeString<infer U> ? U : never;
|
||||
>EnsureIsString : Symbol(EnsureIsString, Decl(inferTypes1.ts, 161, 40))
|
||||
>T : Symbol(T, Decl(inferTypes1.ts, 162, 20))
|
||||
>T : Symbol(T, Decl(inferTypes1.ts, 162, 20))
|
||||
>MustBeString : Symbol(MustBeString, Decl(inferTypes1.ts, 157, 26))
|
||||
>U : Symbol(U, Decl(inferTypes1.ts, 162, 53))
|
||||
>U : Symbol(U, Decl(inferTypes1.ts, 162, 53))
|
||||
>EnsureIsString : Symbol(EnsureIsString, Decl(inferTypes1.ts, 162, 40))
|
||||
>T : Symbol(T, Decl(inferTypes1.ts, 163, 20))
|
||||
>T : Symbol(T, Decl(inferTypes1.ts, 163, 20))
|
||||
>MustBeString : Symbol(MustBeString, Decl(inferTypes1.ts, 158, 26))
|
||||
>U : Symbol(U, Decl(inferTypes1.ts, 163, 53))
|
||||
>U : Symbol(U, Decl(inferTypes1.ts, 163, 53))
|
||||
|
||||
type Test1 = EnsureIsString<"hello">; // "hello"
|
||||
>Test1 : Symbol(Test1, Decl(inferTypes1.ts, 162, 69))
|
||||
>EnsureIsString : Symbol(EnsureIsString, Decl(inferTypes1.ts, 161, 40))
|
||||
>Test1 : Symbol(Test1, Decl(inferTypes1.ts, 163, 69))
|
||||
>EnsureIsString : Symbol(EnsureIsString, Decl(inferTypes1.ts, 162, 40))
|
||||
|
||||
type Test2 = EnsureIsString<42>; // never
|
||||
>Test2 : Symbol(Test2, Decl(inferTypes1.ts, 164, 37))
|
||||
>EnsureIsString : Symbol(EnsureIsString, Decl(inferTypes1.ts, 161, 40))
|
||||
>Test2 : Symbol(Test2, Decl(inferTypes1.ts, 165, 37))
|
||||
>EnsureIsString : Symbol(EnsureIsString, Decl(inferTypes1.ts, 162, 40))
|
||||
|
||||
|
||||
@ -327,6 +327,15 @@ type T62<T> = U extends (infer U)[] ? U : U; // Error
|
||||
>U : U
|
||||
>U : No type information available!
|
||||
|
||||
type T63<T> = T extends (infer A extends infer B ? infer C : infer D) ? string : number;
|
||||
>T63 : T63<T>
|
||||
>T : T
|
||||
>T : T
|
||||
>A : A
|
||||
>B : B
|
||||
>C : C
|
||||
>D : D
|
||||
|
||||
type T70<T extends string> = { x: T };
|
||||
>T70 : T70<T>
|
||||
>T : T
|
||||
|
||||
42
tests/baselines/reference/inferTypes2.js
Normal file
42
tests/baselines/reference/inferTypes2.js
Normal file
@ -0,0 +1,42 @@
|
||||
//// [inferTypes2.ts]
|
||||
// Repros from #22755
|
||||
|
||||
export declare function foo<T>(obj: T): T extends () => infer P ? P : never;
|
||||
export function bar<T>(obj: T) {
|
||||
return foo(obj);
|
||||
}
|
||||
|
||||
export type BadNested<T> = { x: T extends number ? T : string };
|
||||
|
||||
export declare function foo2<T>(obj: T): T extends { [K in keyof BadNested<infer P>]: BadNested<infer P>[K] } ? P : never;
|
||||
export function bar2<T>(obj: T) {
|
||||
return foo2(obj);
|
||||
}
|
||||
|
||||
|
||||
//// [inferTypes2.js]
|
||||
"use strict";
|
||||
// Repros from #22755
|
||||
exports.__esModule = true;
|
||||
function bar(obj) {
|
||||
return foo(obj);
|
||||
}
|
||||
exports.bar = bar;
|
||||
function bar2(obj) {
|
||||
return foo2(obj);
|
||||
}
|
||||
exports.bar2 = bar2;
|
||||
|
||||
|
||||
//// [inferTypes2.d.ts]
|
||||
export declare function foo<T>(obj: T): T extends () => infer P ? P : never;
|
||||
export declare function bar<T>(obj: T): T extends () => infer P ? P : never;
|
||||
export declare type BadNested<T> = {
|
||||
x: T extends number ? T : string;
|
||||
};
|
||||
export declare function foo2<T>(obj: T): T extends {
|
||||
[K in keyof BadNested<infer P>]: BadNested<infer P>[K];
|
||||
} ? P : never;
|
||||
export declare function bar2<T>(obj: T): T extends {
|
||||
x: infer P extends number ? infer P : string;
|
||||
} ? P : never;
|
||||
55
tests/baselines/reference/inferTypes2.symbols
Normal file
55
tests/baselines/reference/inferTypes2.symbols
Normal file
@ -0,0 +1,55 @@
|
||||
=== tests/cases/conformance/types/conditional/inferTypes2.ts ===
|
||||
// Repros from #22755
|
||||
|
||||
export declare function foo<T>(obj: T): T extends () => infer P ? P : never;
|
||||
>foo : Symbol(foo, Decl(inferTypes2.ts, 0, 0))
|
||||
>T : Symbol(T, Decl(inferTypes2.ts, 2, 28))
|
||||
>obj : Symbol(obj, Decl(inferTypes2.ts, 2, 31))
|
||||
>T : Symbol(T, Decl(inferTypes2.ts, 2, 28))
|
||||
>T : Symbol(T, Decl(inferTypes2.ts, 2, 28))
|
||||
>P : Symbol(P, Decl(inferTypes2.ts, 2, 61))
|
||||
>P : Symbol(P, Decl(inferTypes2.ts, 2, 61))
|
||||
|
||||
export function bar<T>(obj: T) {
|
||||
>bar : Symbol(bar, Decl(inferTypes2.ts, 2, 76))
|
||||
>T : Symbol(T, Decl(inferTypes2.ts, 3, 20))
|
||||
>obj : Symbol(obj, Decl(inferTypes2.ts, 3, 23))
|
||||
>T : Symbol(T, Decl(inferTypes2.ts, 3, 20))
|
||||
|
||||
return foo(obj);
|
||||
>foo : Symbol(foo, Decl(inferTypes2.ts, 0, 0))
|
||||
>obj : Symbol(obj, Decl(inferTypes2.ts, 3, 23))
|
||||
}
|
||||
|
||||
export type BadNested<T> = { x: T extends number ? T : string };
|
||||
>BadNested : Symbol(BadNested, Decl(inferTypes2.ts, 5, 1))
|
||||
>T : Symbol(T, Decl(inferTypes2.ts, 7, 22))
|
||||
>x : Symbol(x, Decl(inferTypes2.ts, 7, 28))
|
||||
>T : Symbol(T, Decl(inferTypes2.ts, 7, 22))
|
||||
>T : Symbol(T, Decl(inferTypes2.ts, 7, 22))
|
||||
|
||||
export declare function foo2<T>(obj: T): T extends { [K in keyof BadNested<infer P>]: BadNested<infer P>[K] } ? P : never;
|
||||
>foo2 : Symbol(foo2, Decl(inferTypes2.ts, 7, 64))
|
||||
>T : Symbol(T, Decl(inferTypes2.ts, 9, 29))
|
||||
>obj : Symbol(obj, Decl(inferTypes2.ts, 9, 32))
|
||||
>T : Symbol(T, Decl(inferTypes2.ts, 9, 29))
|
||||
>T : Symbol(T, Decl(inferTypes2.ts, 9, 29))
|
||||
>K : Symbol(K, Decl(inferTypes2.ts, 9, 54))
|
||||
>BadNested : Symbol(BadNested, Decl(inferTypes2.ts, 5, 1))
|
||||
>P : Symbol(P, Decl(inferTypes2.ts, 9, 80), Decl(inferTypes2.ts, 9, 101))
|
||||
>BadNested : Symbol(BadNested, Decl(inferTypes2.ts, 5, 1))
|
||||
>P : Symbol(P, Decl(inferTypes2.ts, 9, 80), Decl(inferTypes2.ts, 9, 101))
|
||||
>K : Symbol(K, Decl(inferTypes2.ts, 9, 54))
|
||||
>P : Symbol(P, Decl(inferTypes2.ts, 9, 80), Decl(inferTypes2.ts, 9, 101))
|
||||
|
||||
export function bar2<T>(obj: T) {
|
||||
>bar2 : Symbol(bar2, Decl(inferTypes2.ts, 9, 122))
|
||||
>T : Symbol(T, Decl(inferTypes2.ts, 10, 21))
|
||||
>obj : Symbol(obj, Decl(inferTypes2.ts, 10, 24))
|
||||
>T : Symbol(T, Decl(inferTypes2.ts, 10, 21))
|
||||
|
||||
return foo2(obj);
|
||||
>foo2 : Symbol(foo2, Decl(inferTypes2.ts, 7, 64))
|
||||
>obj : Symbol(obj, Decl(inferTypes2.ts, 10, 24))
|
||||
}
|
||||
|
||||
57
tests/baselines/reference/inferTypes2.types
Normal file
57
tests/baselines/reference/inferTypes2.types
Normal file
@ -0,0 +1,57 @@
|
||||
=== tests/cases/conformance/types/conditional/inferTypes2.ts ===
|
||||
// Repros from #22755
|
||||
|
||||
export declare function foo<T>(obj: T): T extends () => infer P ? P : never;
|
||||
>foo : <T>(obj: T) => T extends () => infer P ? P : never
|
||||
>T : T
|
||||
>obj : T
|
||||
>T : T
|
||||
>T : T
|
||||
>P : P
|
||||
>P : P
|
||||
|
||||
export function bar<T>(obj: T) {
|
||||
>bar : <T>(obj: T) => T extends () => infer P ? P : never
|
||||
>T : T
|
||||
>obj : T
|
||||
>T : T
|
||||
|
||||
return foo(obj);
|
||||
>foo(obj) : T extends () => infer P ? P : never
|
||||
>foo : <T>(obj: T) => T extends () => infer P ? P : never
|
||||
>obj : T
|
||||
}
|
||||
|
||||
export type BadNested<T> = { x: T extends number ? T : string };
|
||||
>BadNested : BadNested<T>
|
||||
>T : T
|
||||
>x : T extends number ? T : string
|
||||
>T : T
|
||||
>T : T
|
||||
|
||||
export declare function foo2<T>(obj: T): T extends { [K in keyof BadNested<infer P>]: BadNested<infer P>[K] } ? P : never;
|
||||
>foo2 : <T>(obj: T) => T extends { x: infer P extends number ? infer P : string; } ? P : never
|
||||
>T : T
|
||||
>obj : T
|
||||
>T : T
|
||||
>T : T
|
||||
>K : K
|
||||
>BadNested : BadNested<T>
|
||||
>P : P
|
||||
>BadNested : BadNested<T>
|
||||
>P : P
|
||||
>K : K
|
||||
>P : P
|
||||
|
||||
export function bar2<T>(obj: T) {
|
||||
>bar2 : <T>(obj: T) => T extends { x: infer P extends number ? infer P : string; } ? P : never
|
||||
>T : T
|
||||
>obj : T
|
||||
>T : T
|
||||
|
||||
return foo2(obj);
|
||||
>foo2(obj) : T extends { x: infer P extends number ? infer P : string; } ? P : never
|
||||
>foo2 : <T>(obj: T) => T extends { x: infer P extends number ? infer P : string; } ? P : never
|
||||
>obj : T
|
||||
}
|
||||
|
||||
Loading…
x
Reference in New Issue
Block a user