From f97ab4d3efd638cb878642f849dcd66ddbe5d5dc Mon Sep 17 00:00:00 2001 From: Anders Hejlsberg Date: Sun, 4 Mar 2018 16:49:13 -0800 Subject: [PATCH] Accept new baselines --- .../reference/inferTypes1.errors.txt | 19 +- tests/baselines/reference/inferTypes1.js | 17 + tests/baselines/reference/inferTypes1.symbols | 309 +++++++++++------- tests/baselines/reference/inferTypes1.types | 63 ++++ 4 files changed, 284 insertions(+), 124 deletions(-) diff --git a/tests/baselines/reference/inferTypes1.errors.txt b/tests/baselines/reference/inferTypes1.errors.txt index 5531ec08c7f..3b627a0557f 100644 --- a/tests/baselines/reference/inferTypes1.errors.txt +++ b/tests/baselines/reference/inferTypes1.errors.txt @@ -17,7 +17,7 @@ tests/cases/conformance/types/conditional/inferTypes1.ts(75,43): error TS2304: C 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'. Type 'number' is not assignable to type 'string'. -tests/cases/conformance/types/conditional/inferTypes1.ts(134,40): error TS2322: Type 'T' 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 (16 errors) ==== @@ -144,6 +144,15 @@ tests/cases/conformance/types/conditional/inferTypes1.ts(134,40): error TS2322: type T77 = T extends T76 ? T76 : never; type T78 = T extends T76 ? T76 : never; + type Foo = [T, U]; + type Bar = T extends Foo ? Foo : never; + + type T90 = Bar<[string, string]>; // [string, string] + type T91 = Bar<[string, "a"]>; // [string, "a"] + type T92 = Bar<[string, "a"] & { x: string }>; // [string, "a"] + type T93 = Bar<["a", string]>; // never + type T94 = Bar<[number, number]>; // never + // Example from #21496 type JsonifiedObject = { [K in keyof T]: Jsonified }; @@ -206,4 +215,12 @@ tests/cases/conformance/types/conditional/inferTypes1.ts(134,40): error TS2322: type T80 = MatchingKeys; type T81 = VoidKeys; + + // Repro from #22221 + + type MustBeString = T; + type EnsureIsString = T extends MustBeString ? U : never; + + type Test1 = EnsureIsString<"hello">; // "hello" + type Test2 = EnsureIsString<42>; // never \ No newline at end of file diff --git a/tests/baselines/reference/inferTypes1.js b/tests/baselines/reference/inferTypes1.js index 6e41cfe1998..909fbf29982 100644 --- a/tests/baselines/reference/inferTypes1.js +++ b/tests/baselines/reference/inferTypes1.js @@ -88,6 +88,15 @@ type T76 = { x: T }; type T77 = T extends T76 ? T76 : never; type T78 = T extends T76 ? T76 : never; +type Foo = [T, U]; +type Bar = T extends Foo ? Foo : never; + +type T90 = Bar<[string, string]>; // [string, string] +type T91 = Bar<[string, "a"]>; // [string, "a"] +type T92 = Bar<[string, "a"] & { x: string }>; // [string, "a"] +type T93 = Bar<["a", string]>; // never +type T94 = Bar<[number, number]>; // never + // Example from #21496 type JsonifiedObject = { [K in keyof T]: Jsonified }; @@ -148,6 +157,14 @@ interface test { type T80 = MatchingKeys; type T81 = VoidKeys; + +// Repro from #22221 + +type MustBeString = T; +type EnsureIsString = T extends MustBeString ? U : never; + +type Test1 = EnsureIsString<"hello">; // "hello" +type Test2 = EnsureIsString<42>; // never //// [inferTypes1.js] diff --git a/tests/baselines/reference/inferTypes1.symbols b/tests/baselines/reference/inferTypes1.symbols index 9e09eaea21d..b1e82a16f5f 100644 --- a/tests/baselines/reference/inferTypes1.symbols +++ b/tests/baselines/reference/inferTypes1.symbols @@ -406,216 +406,279 @@ type T78 = T extends T76 ? T76 : never; >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)) +type Foo = [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)) + +type Bar = T extends Foo ? Foo : 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)) + +type T90 = Bar<[string, string]>; // [string, string] +>T90 : Symbol(T90, Decl(inferTypes1.ts, 90, 66)) +>Bar : Symbol(Bar, Decl(inferTypes1.ts, 89, 49)) + +type T91 = Bar<[string, "a"]>; // [string, "a"] +>T91 : Symbol(T91, Decl(inferTypes1.ts, 92, 33)) +>Bar : Symbol(Bar, Decl(inferTypes1.ts, 89, 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)) + +type T93 = Bar<["a", string]>; // never +>T93 : Symbol(T93, Decl(inferTypes1.ts, 94, 46)) +>Bar : Symbol(Bar, Decl(inferTypes1.ts, 89, 49)) + +type T94 = Bar<[number, number]>; // never +>T94 : Symbol(T94, Decl(inferTypes1.ts, 95, 30)) +>Bar : Symbol(Bar, Decl(inferTypes1.ts, 89, 49)) + // Example from #21496 type JsonifiedObject = { [K in keyof T]: Jsonified }; ->JsonifiedObject : Symbol(JsonifiedObject, Decl(inferTypes1.ts, 87, 66)) ->T : Symbol(T, Decl(inferTypes1.ts, 91, 21)) ->K : Symbol(K, Decl(inferTypes1.ts, 91, 44)) ->T : Symbol(T, Decl(inferTypes1.ts, 91, 21)) ->Jsonified : Symbol(Jsonified, Decl(inferTypes1.ts, 91, 77)) ->T : Symbol(T, Decl(inferTypes1.ts, 91, 21)) ->K : Symbol(K, Decl(inferTypes1.ts, 91, 44)) +>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)) type Jsonified = ->Jsonified : Symbol(Jsonified, Decl(inferTypes1.ts, 91, 77)) ->T : Symbol(T, Decl(inferTypes1.ts, 93, 15)) +>Jsonified : Symbol(Jsonified, Decl(inferTypes1.ts, 100, 77)) +>T : Symbol(T, Decl(inferTypes1.ts, 102, 15)) T extends string | number | boolean | null ? T ->T : Symbol(T, Decl(inferTypes1.ts, 93, 15)) ->T : Symbol(T, Decl(inferTypes1.ts, 93, 15)) +>T : Symbol(T, Decl(inferTypes1.ts, 102, 15)) +>T : Symbol(T, Decl(inferTypes1.ts, 102, 15)) : T extends undefined | Function ? never // undefined and functions are removed ->T : Symbol(T, Decl(inferTypes1.ts, 93, 15)) +>T : Symbol(T, Decl(inferTypes1.ts, 102, 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, 93, 15)) ->toJSON : Symbol(toJSON, Decl(inferTypes1.ts, 96, 17)) ->R : Symbol(R, Decl(inferTypes1.ts, 96, 33)) ->R : Symbol(R, Decl(inferTypes1.ts, 96, 33)) +>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 extends object ? JsonifiedObject ->T : Symbol(T, Decl(inferTypes1.ts, 93, 15)) ->JsonifiedObject : Symbol(JsonifiedObject, Decl(inferTypes1.ts, 87, 66)) ->T : Symbol(T, Decl(inferTypes1.ts, 93, 15)) +>T : Symbol(T, Decl(inferTypes1.ts, 102, 15)) +>JsonifiedObject : Symbol(JsonifiedObject, Decl(inferTypes1.ts, 96, 33)) +>T : Symbol(T, Decl(inferTypes1.ts, 102, 15)) : "what is this"; type Example = { ->Example : Symbol(Example, Decl(inferTypes1.ts, 98, 21)) +>Example : Symbol(Example, Decl(inferTypes1.ts, 107, 21)) str: "literalstring", ->str : Symbol(str, Decl(inferTypes1.ts, 100, 16)) +>str : Symbol(str, Decl(inferTypes1.ts, 109, 16)) fn: () => void, ->fn : Symbol(fn, Decl(inferTypes1.ts, 101, 25)) +>fn : Symbol(fn, Decl(inferTypes1.ts, 110, 25)) date: Date, ->date : Symbol(date, Decl(inferTypes1.ts, 102, 19)) +>date : Symbol(date, Decl(inferTypes1.ts, 111, 19)) >Date : Symbol(Date, Decl(lib.d.ts, --, --), Decl(lib.d.ts, --, --), Decl(lib.d.ts, --, --)) customClass: MyClass, ->customClass : Symbol(customClass, Decl(inferTypes1.ts, 103, 15)) ->MyClass : Symbol(MyClass, Decl(inferTypes1.ts, 110, 1)) +>customClass : Symbol(customClass, Decl(inferTypes1.ts, 112, 15)) +>MyClass : Symbol(MyClass, Decl(inferTypes1.ts, 119, 1)) obj: { ->obj : Symbol(obj, Decl(inferTypes1.ts, 104, 25)) +>obj : Symbol(obj, Decl(inferTypes1.ts, 113, 25)) prop: "property", ->prop : Symbol(prop, Decl(inferTypes1.ts, 105, 10)) +>prop : Symbol(prop, Decl(inferTypes1.ts, 114, 10)) clz: MyClass, ->clz : Symbol(clz, Decl(inferTypes1.ts, 106, 25)) ->MyClass : Symbol(MyClass, Decl(inferTypes1.ts, 110, 1)) +>clz : Symbol(clz, Decl(inferTypes1.ts, 115, 25)) +>MyClass : Symbol(MyClass, Decl(inferTypes1.ts, 119, 1)) nested: { attr: Date } ->nested : Symbol(nested, Decl(inferTypes1.ts, 107, 21)) ->attr : Symbol(attr, Decl(inferTypes1.ts, 108, 17)) +>nested : Symbol(nested, Decl(inferTypes1.ts, 116, 21)) +>attr : Symbol(attr, Decl(inferTypes1.ts, 117, 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, 110, 1)) +>MyClass : Symbol(MyClass, Decl(inferTypes1.ts, 119, 1)) toJSON(): "correct"; ->toJSON : Symbol(MyClass.toJSON, Decl(inferTypes1.ts, 112, 23)) +>toJSON : Symbol(MyClass.toJSON, Decl(inferTypes1.ts, 121, 23)) } type JsonifiedExample = Jsonified; ->JsonifiedExample : Symbol(JsonifiedExample, Decl(inferTypes1.ts, 114, 1)) ->Jsonified : Symbol(Jsonified, Decl(inferTypes1.ts, 91, 77)) ->Example : Symbol(Example, Decl(inferTypes1.ts, 98, 21)) +>JsonifiedExample : Symbol(JsonifiedExample, Decl(inferTypes1.ts, 123, 1)) +>Jsonified : Symbol(Jsonified, Decl(inferTypes1.ts, 100, 77)) +>Example : Symbol(Example, Decl(inferTypes1.ts, 107, 21)) declare let ex: JsonifiedExample; ->ex : Symbol(ex, Decl(inferTypes1.ts, 117, 11)) ->JsonifiedExample : Symbol(JsonifiedExample, Decl(inferTypes1.ts, 114, 1)) +>ex : Symbol(ex, Decl(inferTypes1.ts, 126, 11)) +>JsonifiedExample : Symbol(JsonifiedExample, Decl(inferTypes1.ts, 123, 1)) const z1: "correct" = ex.customClass; ->z1 : Symbol(z1, Decl(inferTypes1.ts, 118, 5)) ->ex.customClass : Symbol(customClass, Decl(inferTypes1.ts, 103, 15)) ->ex : Symbol(ex, Decl(inferTypes1.ts, 117, 11)) ->customClass : Symbol(customClass, Decl(inferTypes1.ts, 103, 15)) +>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)) const z2: string = ex.obj.nested.attr; ->z2 : Symbol(z2, Decl(inferTypes1.ts, 119, 5)) ->ex.obj.nested.attr : Symbol(attr, Decl(inferTypes1.ts, 108, 17)) ->ex.obj.nested : Symbol(nested, Decl(inferTypes1.ts, 107, 21)) ->ex.obj : Symbol(obj, Decl(inferTypes1.ts, 104, 25)) ->ex : Symbol(ex, Decl(inferTypes1.ts, 117, 11)) ->obj : Symbol(obj, Decl(inferTypes1.ts, 104, 25)) ->nested : Symbol(nested, Decl(inferTypes1.ts, 107, 21)) ->attr : Symbol(attr, Decl(inferTypes1.ts, 108, 17)) +>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)) // Repros from #21631 type A1> = [T, U]; ->A1 : Symbol(A1, Decl(inferTypes1.ts, 119, 38)) ->T : Symbol(T, Decl(inferTypes1.ts, 123, 8)) ->U : Symbol(U, Decl(inferTypes1.ts, 123, 10)) ->A1 : Symbol(A1, Decl(inferTypes1.ts, 119, 38)) ->T : Symbol(T, Decl(inferTypes1.ts, 123, 8)) ->U : Symbol(U, Decl(inferTypes1.ts, 123, 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, 128, 38)) +>T : Symbol(T, Decl(inferTypes1.ts, 132, 8)) +>U : Symbol(U, Decl(inferTypes1.ts, 132, 10)) type B1 = S extends A1 ? [T, U] : never; ->B1 : Symbol(B1, Decl(inferTypes1.ts, 123, 44)) ->S : Symbol(S, Decl(inferTypes1.ts, 124, 8)) ->S : Symbol(S, Decl(inferTypes1.ts, 124, 8)) ->A1 : Symbol(A1, Decl(inferTypes1.ts, 119, 38)) ->T : Symbol(T, Decl(inferTypes1.ts, 124, 31)) ->U : Symbol(U, Decl(inferTypes1.ts, 124, 40)) ->T : Symbol(T, Decl(inferTypes1.ts, 124, 31)) ->U : Symbol(U, Decl(inferTypes1.ts, 124, 40)) +>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)) type A2 = [T, U]; ->A2 : Symbol(A2, Decl(inferTypes1.ts, 124, 61)) ->T : Symbol(T, Decl(inferTypes1.ts, 126, 8)) ->U : Symbol(U, Decl(inferTypes1.ts, 126, 10)) ->T : Symbol(T, Decl(inferTypes1.ts, 126, 8)) ->U : Symbol(U, Decl(inferTypes1.ts, 126, 10)) +>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)) type B2 = S extends A2 ? [T, U] : never; ->B2 : Symbol(B2, Decl(inferTypes1.ts, 126, 36)) ->S : Symbol(S, Decl(inferTypes1.ts, 127, 8)) ->S : Symbol(S, Decl(inferTypes1.ts, 127, 8)) ->A2 : Symbol(A2, Decl(inferTypes1.ts, 124, 61)) ->T : Symbol(T, Decl(inferTypes1.ts, 127, 31)) ->U : Symbol(U, Decl(inferTypes1.ts, 127, 40)) ->T : Symbol(T, Decl(inferTypes1.ts, 127, 31)) ->U : Symbol(U, Decl(inferTypes1.ts, 127, 40)) +>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)) type C2 = S extends A2 ? [T, U] : never; ->C2 : Symbol(C2, Decl(inferTypes1.ts, 127, 61)) ->S : Symbol(S, Decl(inferTypes1.ts, 128, 8)) ->U : Symbol(U, Decl(inferTypes1.ts, 128, 10)) ->S : Symbol(S, Decl(inferTypes1.ts, 128, 8)) ->A2 : Symbol(A2, Decl(inferTypes1.ts, 124, 61)) ->T : Symbol(T, Decl(inferTypes1.ts, 128, 47)) ->U : Symbol(U, Decl(inferTypes1.ts, 128, 10)) ->T : Symbol(T, Decl(inferTypes1.ts, 128, 47)) ->U : Symbol(U, Decl(inferTypes1.ts, 128, 10)) +>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)) // Repro from #21735 type A = T extends string ? { [P in T]: void; } : T; ->A : Symbol(A, Decl(inferTypes1.ts, 128, 71)) ->T : Symbol(T, Decl(inferTypes1.ts, 132, 7)) ->T : Symbol(T, Decl(inferTypes1.ts, 132, 7)) ->P : Symbol(P, Decl(inferTypes1.ts, 132, 34)) ->T : Symbol(T, Decl(inferTypes1.ts, 132, 7)) ->T : Symbol(T, Decl(inferTypes1.ts, 132, 7)) +>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 = string extends T ? { [P in T]: void; } : T; // Error ->B : Symbol(B, Decl(inferTypes1.ts, 132, 55)) ->T : Symbol(T, Decl(inferTypes1.ts, 133, 7)) ->T : Symbol(T, Decl(inferTypes1.ts, 133, 7)) ->P : Symbol(P, Decl(inferTypes1.ts, 133, 34)) ->T : Symbol(T, Decl(inferTypes1.ts, 133, 7)) ->T : Symbol(T, Decl(inferTypes1.ts, 133, 7)) +>B : Symbol(B, Decl(inferTypes1.ts, 141, 55)) +>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)) // Repro from #22302 type MatchingKeys = ->MatchingKeys : Symbol(MatchingKeys, Decl(inferTypes1.ts, 133, 55)) ->T : Symbol(T, Decl(inferTypes1.ts, 137, 18)) ->U : Symbol(U, Decl(inferTypes1.ts, 137, 20)) ->K : Symbol(K, Decl(inferTypes1.ts, 137, 23)) ->T : Symbol(T, Decl(inferTypes1.ts, 137, 18)) ->T : Symbol(T, Decl(inferTypes1.ts, 137, 18)) +>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)) K extends keyof T ? T[K] extends U ? K : never : never; ->K : Symbol(K, Decl(inferTypes1.ts, 137, 23)) ->T : Symbol(T, Decl(inferTypes1.ts, 137, 18)) ->T : Symbol(T, Decl(inferTypes1.ts, 137, 18)) ->K : Symbol(K, Decl(inferTypes1.ts, 137, 23)) ->U : Symbol(U, Decl(inferTypes1.ts, 137, 20)) ->K : Symbol(K, Decl(inferTypes1.ts, 137, 23)) +>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)) type VoidKeys = MatchingKeys; ->VoidKeys : Symbol(VoidKeys, Decl(inferTypes1.ts, 138, 59)) ->T : Symbol(T, Decl(inferTypes1.ts, 140, 14)) ->MatchingKeys : Symbol(MatchingKeys, Decl(inferTypes1.ts, 133, 55)) ->T : Symbol(T, Decl(inferTypes1.ts, 140, 14)) +>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)) interface test { ->test : Symbol(test, Decl(inferTypes1.ts, 140, 41)) +>test : Symbol(test, Decl(inferTypes1.ts, 149, 41)) a: 1, ->a : Symbol(test.a, Decl(inferTypes1.ts, 142, 16)) +>a : Symbol(test.a, Decl(inferTypes1.ts, 151, 16)) b: void ->b : Symbol(test.b, Decl(inferTypes1.ts, 143, 9)) +>b : Symbol(test.b, Decl(inferTypes1.ts, 152, 9)) } type T80 = MatchingKeys; ->T80 : Symbol(T80, Decl(inferTypes1.ts, 145, 1)) ->MatchingKeys : Symbol(MatchingKeys, Decl(inferTypes1.ts, 133, 55)) ->test : Symbol(test, Decl(inferTypes1.ts, 140, 41)) +>T80 : Symbol(T80, Decl(inferTypes1.ts, 154, 1)) +>MatchingKeys : Symbol(MatchingKeys, Decl(inferTypes1.ts, 142, 55)) +>test : Symbol(test, Decl(inferTypes1.ts, 149, 41)) type T81 = VoidKeys; ->T81 : Symbol(T81, Decl(inferTypes1.ts, 147, 36)) ->VoidKeys : Symbol(VoidKeys, Decl(inferTypes1.ts, 138, 59)) ->test : Symbol(test, Decl(inferTypes1.ts, 140, 41)) +>T81 : Symbol(T81, Decl(inferTypes1.ts, 156, 36)) +>VoidKeys : Symbol(VoidKeys, Decl(inferTypes1.ts, 147, 59)) +>test : Symbol(test, Decl(inferTypes1.ts, 149, 41)) + +// Repro from #22221 + +type MustBeString = 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)) + +type EnsureIsString = T extends MustBeString ? 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)) + +type Test1 = EnsureIsString<"hello">; // "hello" +>Test1 : Symbol(Test1, Decl(inferTypes1.ts, 162, 69)) +>EnsureIsString : Symbol(EnsureIsString, Decl(inferTypes1.ts, 161, 40)) + +type Test2 = EnsureIsString<42>; // never +>Test2 : Symbol(Test2, Decl(inferTypes1.ts, 164, 37)) +>EnsureIsString : Symbol(EnsureIsString, Decl(inferTypes1.ts, 161, 40)) diff --git a/tests/baselines/reference/inferTypes1.types b/tests/baselines/reference/inferTypes1.types index 523dd669e4c..1d0a48c5169 100644 --- a/tests/baselines/reference/inferTypes1.types +++ b/tests/baselines/reference/inferTypes1.types @@ -412,6 +412,46 @@ type T78 = T extends T76 ? T76 : never; >X : X >X : X +type Foo = [T, U]; +>Foo : [T, U] +>T : T +>U : U +>T : T +>T : T +>U : U + +type Bar = T extends Foo ? Foo : never; +>Bar : Bar +>T : T +>T : T +>Foo : [T, U] +>X : X +>Y : Y +>Foo : [T, U] +>X : X +>Y : Y + +type T90 = Bar<[string, string]>; // [string, string] +>T90 : [string, string] +>Bar : Bar + +type T91 = Bar<[string, "a"]>; // [string, "a"] +>T91 : [string, "a"] +>Bar : Bar + +type T92 = Bar<[string, "a"] & { x: string }>; // [string, "a"] +>T92 : [string, "a"] +>Bar : Bar +>x : string + +type T93 = Bar<["a", string]>; // never +>T93 : never +>Bar : Bar + +type T94 = Bar<[number, number]>; // never +>T94 : never +>Bar : Bar + // Example from #21496 type JsonifiedObject = { [K in keyof T]: Jsonified }; @@ -626,3 +666,26 @@ type T81 = VoidKeys; >VoidKeys : MatchingKeys >test : test +// Repro from #22221 + +type MustBeString = T; +>MustBeString : T +>T : T +>T : T + +type EnsureIsString = T extends MustBeString ? U : never; +>EnsureIsString : EnsureIsString +>T : T +>T : T +>MustBeString : T +>U : U +>U : U + +type Test1 = EnsureIsString<"hello">; // "hello" +>Test1 : "hello" +>EnsureIsString : EnsureIsString + +type Test2 = EnsureIsString<42>; // never +>Test2 : never +>EnsureIsString : EnsureIsString +