Skip to content

Commit 9acdb75

Browse files
ahejlsbergahejlsberg
committed
Accept new baselines
1 parent 5b1554f commit 9acdb75

File tree

4 files changed

+139
-151
lines changed

4 files changed

+139
-151
lines changed

‎tests/baselines/reference/conditionalTypes2.errors.txt

Lines changed: 17 additions & 17 deletions
Original file line numberDiff line numberDiff line change
@@ -1,13 +1,15 @@
1-
tests/cases/conformance/types/conditional/conditionalTypes2.ts(19,5): error TS2322: Type 'Covariant<A>' is not assignable to type 'Covariant<B>'.
1+
tests/cases/conformance/types/conditional/conditionalTypes2.ts(15,5): error TS2322: Type 'Covariant<A>' is not assignable to type 'Covariant<B>'.
22
Type 'A' is not assignable to type 'B'.
3-
Property 'b' is missing in type 'A'.
4-
tests/cases/conformance/types/conditional/conditionalTypes2.ts(23,5): error TS2322: Type 'Contravariant<B>' is not assignable to type 'Contravariant<A>'.
3+
tests/cases/conformance/types/conditional/conditionalTypes2.ts(19,5): error TS2322: Type 'Contravariant<B>' is not assignable to type 'Contravariant<A>'.
54
Type 'A' is not assignable to type 'B'.
6-
tests/cases/conformance/types/conditional/conditionalTypes2.ts(28,5): error TS2322: Type 'Invariant<B>' is not assignable to type 'Invariant<A>'.
7-
Type 'A' is not assignable to type 'B'.
8-
tests/cases/conformance/types/conditional/conditionalTypes2.ts(29,5): error TS2322: Type 'Invariant<A>' is not assignable to type 'Invariant<B>'.
5+
tests/cases/conformance/types/conditional/conditionalTypes2.ts(24,5): error TS2322: Type 'Invariant<B>' is not assignable to type 'Invariant<A>'.
6+
Types of property 'foo' are incompatible.
7+
Type 'B extends string ? keyof B : B' is not assignable to type 'A extends string ? keyof A : A'.
8+
Type 'keyof B' is not assignable to type 'keyof A'.
9+
tests/cases/conformance/types/conditional/conditionalTypes2.ts(25,5): error TS2322: Type 'Invariant<A>' is not assignable to type 'Invariant<B>'.
910
Types of property 'foo' are incompatible.
10-
Type 'A' is not assignable to type 'B'.
11+
Type 'A extends string ? keyof A : A' is not assignable to type 'B extends string ? keyof B : B'.
12+
Type 'A' is not assignable to type 'B'.
1113

1214

1315
==== tests/cases/conformance/types/conditional/conditionalTypes2.ts (4 errors) ====
@@ -23,37 +25,35 @@ tests/cases/conformance/types/conditional/conditionalTypes2.ts(29,5): error TS23
2325
foo: T extends string ? keyof T : T;
2426
}
2527

26-
interface A { a: string }
27-
interface B extends A { b: string }
28-
29-
30-
function f1(a: Covariant<A>, b: Covariant<B>) {
28+
function f1<A, B extends A>(a: Covariant<A>, b: Covariant<B>) {
3129
a = b;
3230
b = a; // Error
3331
~
3432
!!! error TS2322: Type 'Covariant<A>' is not assignable to type 'Covariant<B>'.
3533
!!! error TS2322: Type 'A' is not assignable to type 'B'.
36-
!!! error TS2322: Property 'b' is missing in type 'A'.
3734
}
3835

39-
function f2(a: Contravariant<A>, b: Contravariant<B>) {
36+
function f2<A, B extends A>(a: Contravariant<A>, b: Contravariant<B>) {
4037
a = b; // Error
4138
~
4239
!!! error TS2322: Type 'Contravariant<B>' is not assignable to type 'Contravariant<A>'.
4340
!!! error TS2322: Type 'A' is not assignable to type 'B'.
4441
b = a;
4542
}
4643

47-
function f3(a: Invariant<A>, b: Invariant<B>) {
44+
function f3<A, B extends A>(a: Invariant<A>, b: Invariant<B>) {
4845
a = b; // Error
4946
~
5047
!!! error TS2322: Type 'Invariant<B>' is not assignable to type 'Invariant<A>'.
51-
!!! error TS2322: Type 'A' is not assignable to type 'B'.
48+
!!! error TS2322: Types of property 'foo' are incompatible.
49+
!!! error TS2322: Type 'B extends string ? keyof B : B' is not assignable to type 'A extends string ? keyof A : A'.
50+
!!! error TS2322: Type 'keyof B' is not assignable to type 'keyof A'.
5251
b = a; // Error
5352
~
5453
!!! error TS2322: Type 'Invariant<A>' is not assignable to type 'Invariant<B>'.
5554
!!! error TS2322: Types of property 'foo' are incompatible.
56-
!!! error TS2322: Type 'A' is not assignable to type 'B'.
55+
!!! error TS2322: Type 'A extends string ? keyof A : A' is not assignable to type 'B extends string ? keyof B : B'.
56+
!!! error TS2322: Type 'A' is not assignable to type 'B'.
5757
}
5858

5959
// Repros from #22860

‎tests/baselines/reference/conditionalTypes2.js

Lines changed: 6 additions & 16 deletions
Original file line numberDiff line numberDiff line change
@@ -11,21 +11,17 @@ interface Invariant<T> {
1111
foo: T extends string ? keyof T : T;
1212
}
1313

14-
interface A { a: string }
15-
interface B extends A { b: string }
16-
17-
18-
function f1(a: Covariant<A>, b: Covariant<B>) {
14+
function f1<A, B extends A>(a: Covariant<A>, b: Covariant<B>) {
1915
a = b;
2016
b = a; // Error
2117
}
2218

23-
function f2(a: Contravariant<A>, b: Contravariant<B>) {
19+
function f2<A, B extends A>(a: Contravariant<A>, b: Contravariant<B>) {
2420
a = b; // Error
2521
b = a;
2622
}
2723

28-
function f3(a: Invariant<A>, b: Invariant<B>) {
24+
function f3<A, B extends A>(a: Invariant<A>, b: Invariant<B>) {
2925
a = b; // Error
3026
b = a; // Error
3127
}
@@ -109,15 +105,9 @@ interface Contravariant<T> {
109105
interface Invariant<T> {
110106
foo: T extends string ? keyof T : T;
111107
}
112-
interface A {
113-
a: string;
114-
}
115-
interface B extends A {
116-
b: string;
117-
}
118-
declare function f1(a: Covariant<A>, b: Covariant<B>): void;
119-
declare function f2(a: Contravariant<A>, b: Contravariant<B>): void;
120-
declare function f3(a: Invariant<A>, b: Invariant<B>): void;
108+
declare function f1<A, B extends A>(a: Covariant<A>, b: Covariant<B>): void;
109+
declare function f2<A, B extends A>(a: Contravariant<A>, b: Contravariant<B>): void;
110+
declare function f3<A, B extends A>(a: Invariant<A>, b: Invariant<B>): void;
121111
declare class Opt<T> {
122112
toVector(): Vector<T>;
123113
}

‎tests/baselines/reference/conditionalTypes2.symbols

Lines changed: 104 additions & 105 deletions
Original file line numberDiff line numberDiff line change
@@ -30,179 +30,178 @@ interface Invariant<T> {
3030
>T : Symbol(T, Decl(conditionalTypes2.ts, 8, 20))
3131
}
3232

33-
interface A { a: string }
34-
>A : Symbol(A, Decl(conditionalTypes2.ts, 10, 1))
35-
>a : Symbol(A.a, Decl(conditionalTypes2.ts, 12, 13))
36-
37-
interface B extends A { b: string }
38-
>B : Symbol(B, Decl(conditionalTypes2.ts, 12, 25))
39-
>A : Symbol(A, Decl(conditionalTypes2.ts, 10, 1))
40-
>b : Symbol(B.b, Decl(conditionalTypes2.ts, 13, 23))
41-
42-
43-
function f1(a: Covariant<A>, b: Covariant<B>) {
44-
>f1 : Symbol(f1, Decl(conditionalTypes2.ts, 13, 35))
45-
>a : Symbol(a, Decl(conditionalTypes2.ts, 16, 12))
33+
function f1<A, B extends A>(a: Covariant<A>, b: Covariant<B>) {
34+
>f1 : Symbol(f1, Decl(conditionalTypes2.ts, 10, 1))
35+
>A : Symbol(A, Decl(conditionalTypes2.ts, 12, 12))
36+
>B : Symbol(B, Decl(conditionalTypes2.ts, 12, 14))
37+
>A : Symbol(A, Decl(conditionalTypes2.ts, 12, 12))
38+
>a : Symbol(a, Decl(conditionalTypes2.ts, 12, 28))
4639
>Covariant : Symbol(Covariant, Decl(conditionalTypes2.ts, 0, 0))
47-
>A : Symbol(A, Decl(conditionalTypes2.ts, 10, 1))
48-
>b : Symbol(b, Decl(conditionalTypes2.ts, 16, 28))
40+
>A : Symbol(A, Decl(conditionalTypes2.ts, 12, 12))
41+
>b : Symbol(b, Decl(conditionalTypes2.ts, 12, 44))
4942
>Covariant : Symbol(Covariant, Decl(conditionalTypes2.ts, 0, 0))
50-
>B : Symbol(B, Decl(conditionalTypes2.ts, 12, 25))
43+
>B : Symbol(B, Decl(conditionalTypes2.ts, 12, 14))
5144

5245
a = b;
53-
>a : Symbol(a, Decl(conditionalTypes2.ts, 16, 12))
54-
>b : Symbol(b, Decl(conditionalTypes2.ts, 16, 28))
46+
>a : Symbol(a, Decl(conditionalTypes2.ts, 12, 28))
47+
>b : Symbol(b, Decl(conditionalTypes2.ts, 12, 44))
5548

5649
b = a; // Error
57-
>b : Symbol(b, Decl(conditionalTypes2.ts, 16, 28))
58-
>a : Symbol(a, Decl(conditionalTypes2.ts, 16, 12))
50+
>b : Symbol(b, Decl(conditionalTypes2.ts, 12, 44))
51+
>a : Symbol(a, Decl(conditionalTypes2.ts, 12, 28))
5952
}
6053

61-
function f2(a: Contravariant<A>, b: Contravariant<B>) {
62-
>f2 : Symbol(f2, Decl(conditionalTypes2.ts, 19, 1))
63-
>a : Symbol(a, Decl(conditionalTypes2.ts, 21, 12))
54+
function f2<A, B extends A>(a: Contravariant<A>, b: Contravariant<B>) {
55+
>f2 : Symbol(f2, Decl(conditionalTypes2.ts, 15, 1))
56+
>A : Symbol(A, Decl(conditionalTypes2.ts, 17, 12))
57+
>B : Symbol(B, Decl(conditionalTypes2.ts, 17, 14))
58+
>A : Symbol(A, Decl(conditionalTypes2.ts, 17, 12))
59+
>a : Symbol(a, Decl(conditionalTypes2.ts, 17, 28))
6460
>Contravariant : Symbol(Contravariant, Decl(conditionalTypes2.ts, 2, 1))
65-
>A : Symbol(A, Decl(conditionalTypes2.ts, 10, 1))
66-
>b : Symbol(b, Decl(conditionalTypes2.ts, 21, 32))
61+
>A : Symbol(A, Decl(conditionalTypes2.ts, 17, 12))
62+
>b : Symbol(b, Decl(conditionalTypes2.ts, 17, 48))
6763
>Contravariant : Symbol(Contravariant, Decl(conditionalTypes2.ts, 2, 1))
68-
>B : Symbol(B, Decl(conditionalTypes2.ts, 12, 25))
64+
>B : Symbol(B, Decl(conditionalTypes2.ts, 17, 14))
6965

7066
a = b; // Error
71-
>a : Symbol(a, Decl(conditionalTypes2.ts, 21, 12))
72-
>b : Symbol(b, Decl(conditionalTypes2.ts, 21, 32))
67+
>a : Symbol(a, Decl(conditionalTypes2.ts, 17, 28))
68+
>b : Symbol(b, Decl(conditionalTypes2.ts, 17, 48))
7369

7470
b = a;
75-
>b : Symbol(b, Decl(conditionalTypes2.ts, 21, 32))
76-
>a : Symbol(a, Decl(conditionalTypes2.ts, 21, 12))
71+
>b : Symbol(b, Decl(conditionalTypes2.ts, 17, 48))
72+
>a : Symbol(a, Decl(conditionalTypes2.ts, 17, 28))
7773
}
7874

79-
function f3(a: Invariant<A>, b: Invariant<B>) {
80-
>f3 : Symbol(f3, Decl(conditionalTypes2.ts, 24, 1))
81-
>a : Symbol(a, Decl(conditionalTypes2.ts, 26, 12))
75+
function f3<A, B extends A>(a: Invariant<A>, b: Invariant<B>) {
76+
>f3 : Symbol(f3, Decl(conditionalTypes2.ts, 20, 1))
77+
>A : Symbol(A, Decl(conditionalTypes2.ts, 22, 12))
78+
>B : Symbol(B, Decl(conditionalTypes2.ts, 22, 14))
79+
>A : Symbol(A, Decl(conditionalTypes2.ts, 22, 12))
80+
>a : Symbol(a, Decl(conditionalTypes2.ts, 22, 28))
8281
>Invariant : Symbol(Invariant, Decl(conditionalTypes2.ts, 6, 1))
83-
>A : Symbol(A, Decl(conditionalTypes2.ts, 10, 1))
84-
>b : Symbol(b, Decl(conditionalTypes2.ts, 26, 28))
82+
>A : Symbol(A, Decl(conditionalTypes2.ts, 22, 12))
83+
>b : Symbol(b, Decl(conditionalTypes2.ts, 22, 44))
8584
>Invariant : Symbol(Invariant, Decl(conditionalTypes2.ts, 6, 1))
86-
>B : Symbol(B, Decl(conditionalTypes2.ts, 12, 25))
85+
>B : Symbol(B, Decl(conditionalTypes2.ts, 22, 14))
8786

8887
a = b; // Error
89-
>a : Symbol(a, Decl(conditionalTypes2.ts, 26, 12))
90-
>b : Symbol(b, Decl(conditionalTypes2.ts, 26, 28))
88+
>a : Symbol(a, Decl(conditionalTypes2.ts, 22, 28))
89+
>b : Symbol(b, Decl(conditionalTypes2.ts, 22, 44))
9190

9291
b = a; // Error
93-
>b : Symbol(b, Decl(conditionalTypes2.ts, 26, 28))
94-
>a : Symbol(a, Decl(conditionalTypes2.ts, 26, 12))
92+
>b : Symbol(b, Decl(conditionalTypes2.ts, 22, 44))
93+
>a : Symbol(a, Decl(conditionalTypes2.ts, 22, 28))
9594
}
9695

9796
// Repros from #22860
9897

9998
class Opt<T> {
100-
>Opt : Symbol(Opt, Decl(conditionalTypes2.ts, 29, 1))
101-
>T : Symbol(T, Decl(conditionalTypes2.ts, 33, 10))
99+
>Opt : Symbol(Opt, Decl(conditionalTypes2.ts, 25, 1))
100+
>T : Symbol(T, Decl(conditionalTypes2.ts, 29, 10))
102101

103102
toVector(): Vector<T> {
104-
>toVector : Symbol(Opt.toVector, Decl(conditionalTypes2.ts, 33, 14))
105-
>Vector : Symbol(Vector, Decl(conditionalTypes2.ts, 41, 1))
106-
>T : Symbol(T, Decl(conditionalTypes2.ts, 33, 10))
103+
>toVector : Symbol(Opt.toVector, Decl(conditionalTypes2.ts, 29, 14))
104+
>Vector : Symbol(Vector, Decl(conditionalTypes2.ts, 37, 1))
105+
>T : Symbol(T, Decl(conditionalTypes2.ts, 29, 10))
107106

108107
return <any>undefined;
109108
>undefined : Symbol(undefined)
110109
}
111110
}
112111

113112
interface Seq<T> {
114-
>Seq : Symbol(Seq, Decl(conditionalTypes2.ts, 37, 1))
115-
>T : Symbol(T, Decl(conditionalTypes2.ts, 39, 14))
113+
>Seq : Symbol(Seq, Decl(conditionalTypes2.ts, 33, 1))
114+
>T : Symbol(T, Decl(conditionalTypes2.ts, 35, 14))
116115

117116
tail(): Opt<Seq<T>>;
118-
>tail : Symbol(Seq.tail, Decl(conditionalTypes2.ts, 39, 18))
119-
>Opt : Symbol(Opt, Decl(conditionalTypes2.ts, 29, 1))
120-
>Seq : Symbol(Seq, Decl(conditionalTypes2.ts, 37, 1))
121-
>T : Symbol(T, Decl(conditionalTypes2.ts, 39, 14))
117+
>tail : Symbol(Seq.tail, Decl(conditionalTypes2.ts, 35, 18))
118+
>Opt : Symbol(Opt, Decl(conditionalTypes2.ts, 25, 1))
119+
>Seq : Symbol(Seq, Decl(conditionalTypes2.ts, 33, 1))
120+
>T : Symbol(T, Decl(conditionalTypes2.ts, 35, 14))
122121
}
123122

124123
class Vector<T> implements Seq<T> {
125-
>Vector : Symbol(Vector, Decl(conditionalTypes2.ts, 41, 1))
126-
>T : Symbol(T, Decl(conditionalTypes2.ts, 43, 13))
127-
>Seq : Symbol(Seq, Decl(conditionalTypes2.ts, 37, 1))
128-
>T : Symbol(T, Decl(conditionalTypes2.ts, 43, 13))
124+
>Vector : Symbol(Vector, Decl(conditionalTypes2.ts, 37, 1))
125+
>T : Symbol(T, Decl(conditionalTypes2.ts, 39, 13))
126+
>Seq : Symbol(Seq, Decl(conditionalTypes2.ts, 33, 1))
127+
>T : Symbol(T, Decl(conditionalTypes2.ts, 39, 13))
129128

130129
tail(): Opt<Vector<T>> {
131-
>tail : Symbol(Vector.tail, Decl(conditionalTypes2.ts, 43, 35))
132-
>Opt : Symbol(Opt, Decl(conditionalTypes2.ts, 29, 1))
133-
>Vector : Symbol(Vector, Decl(conditionalTypes2.ts, 41, 1))
134-
>T : Symbol(T, Decl(conditionalTypes2.ts, 43, 13))
130+
>tail : Symbol(Vector.tail, Decl(conditionalTypes2.ts, 39, 35))
131+
>Opt : Symbol(Opt, Decl(conditionalTypes2.ts, 25, 1))
132+
>Vector : Symbol(Vector, Decl(conditionalTypes2.ts, 37, 1))
133+
>T : Symbol(T, Decl(conditionalTypes2.ts, 39, 13))
135134

136135
return <any>undefined;
137136
>undefined : Symbol(undefined)
138137
}
139138
partition2<U extends T>(predicate:(v:T)=>v is U): [Vector<U>,Vector<Exclude<T, U>>];
140-
>partition2 : Symbol(Vector.partition2, Decl(conditionalTypes2.ts, 46, 5), Decl(conditionalTypes2.ts, 47, 88), Decl(conditionalTypes2.ts, 48, 64))
141-
>U : Symbol(U, Decl(conditionalTypes2.ts, 47, 15))
142-
>T : Symbol(T, Decl(conditionalTypes2.ts, 43, 13))
143-
>predicate : Symbol(predicate, Decl(conditionalTypes2.ts, 47, 28))
144-
>v : Symbol(v, Decl(conditionalTypes2.ts, 47, 39))
145-
>T : Symbol(T, Decl(conditionalTypes2.ts, 43, 13))
146-
>v : Symbol(v, Decl(conditionalTypes2.ts, 47, 39))
147-
>U : Symbol(U, Decl(conditionalTypes2.ts, 47, 15))
148-
>Vector : Symbol(Vector, Decl(conditionalTypes2.ts, 41, 1))
149-
>U : Symbol(U, Decl(conditionalTypes2.ts, 47, 15))
150-
>Vector : Symbol(Vector, Decl(conditionalTypes2.ts, 41, 1))
139+
>partition2 : Symbol(Vector.partition2, Decl(conditionalTypes2.ts, 42, 5), Decl(conditionalTypes2.ts, 43, 88), Decl(conditionalTypes2.ts, 44, 64))
140+
>U : Symbol(U, Decl(conditionalTypes2.ts, 43, 15))
141+
>T : Symbol(T, Decl(conditionalTypes2.ts, 39, 13))
142+
>predicate : Symbol(predicate, Decl(conditionalTypes2.ts, 43, 28))
143+
>v : Symbol(v, Decl(conditionalTypes2.ts, 43, 39))
144+
>T : Symbol(T, Decl(conditionalTypes2.ts, 39, 13))
145+
>v : Symbol(v, Decl(conditionalTypes2.ts, 43, 39))
146+
>U : Symbol(U, Decl(conditionalTypes2.ts, 43, 15))
147+
>Vector : Symbol(Vector, Decl(conditionalTypes2.ts, 37, 1))
148+
>U : Symbol(U, Decl(conditionalTypes2.ts, 43, 15))
149+
>Vector : Symbol(Vector, Decl(conditionalTypes2.ts, 37, 1))
151150
>Exclude : Symbol(Exclude, Decl(lib.d.ts, --, --))
152-
>T : Symbol(T, Decl(conditionalTypes2.ts, 43, 13))
153-
>U : Symbol(U, Decl(conditionalTypes2.ts, 47, 15))
151+
>T : Symbol(T, Decl(conditionalTypes2.ts, 39, 13))
152+
>U : Symbol(U, Decl(conditionalTypes2.ts, 43, 15))
154153

155154
partition2(predicate:(x:T)=>boolean): [Vector<T>,Vector<T>];
156-
>partition2 : Symbol(Vector.partition2, Decl(conditionalTypes2.ts, 46, 5), Decl(conditionalTypes2.ts, 47, 88), Decl(conditionalTypes2.ts, 48, 64))
157-
>predicate : Symbol(predicate, Decl(conditionalTypes2.ts, 48, 15))
158-
>x : Symbol(x, Decl(conditionalTypes2.ts, 48, 26))
159-
>T : Symbol(T, Decl(conditionalTypes2.ts, 43, 13))
160-
>Vector : Symbol(Vector, Decl(conditionalTypes2.ts, 41, 1))
161-
>T : Symbol(T, Decl(conditionalTypes2.ts, 43, 13))
162-
>Vector : Symbol(Vector, Decl(conditionalTypes2.ts, 41, 1))
163-
>T : Symbol(T, Decl(conditionalTypes2.ts, 43, 13))
155+
>partition2 : Symbol(Vector.partition2, Decl(conditionalTypes2.ts, 42, 5), Decl(conditionalTypes2.ts, 43, 88), Decl(conditionalTypes2.ts, 44, 64))
156+
>predicate : Symbol(predicate, Decl(conditionalTypes2.ts, 44, 15))
157+
>x : Symbol(x, Decl(conditionalTypes2.ts, 44, 26))
158+
>T : Symbol(T, Decl(conditionalTypes2.ts, 39, 13))
159+
>Vector : Symbol(Vector, Decl(conditionalTypes2.ts, 37, 1))
160+
>T : Symbol(T, Decl(conditionalTypes2.ts, 39, 13))
161+
>Vector : Symbol(Vector, Decl(conditionalTypes2.ts, 37, 1))
162+
>T : Symbol(T, Decl(conditionalTypes2.ts, 39, 13))
164163

165164
partition2<U extends T>(predicate:(v:T)=>boolean): [Vector<U>,Vector<any>] {
166-
>partition2 : Symbol(Vector.partition2, Decl(conditionalTypes2.ts, 46, 5), Decl(conditionalTypes2.ts, 47, 88), Decl(conditionalTypes2.ts, 48, 64))
167-
>U : Symbol(U, Decl(conditionalTypes2.ts, 49, 15))
168-
>T : Symbol(T, Decl(conditionalTypes2.ts, 43, 13))
169-
>predicate : Symbol(predicate, Decl(conditionalTypes2.ts, 49, 28))
170-
>v : Symbol(v, Decl(conditionalTypes2.ts, 49, 39))
171-
>T : Symbol(T, Decl(conditionalTypes2.ts, 43, 13))
172-
>Vector : Symbol(Vector, Decl(conditionalTypes2.ts, 41, 1))
173-
>U : Symbol(U, Decl(conditionalTypes2.ts, 49, 15))
174-
>Vector : Symbol(Vector, Decl(conditionalTypes2.ts, 41, 1))
165+
>partition2 : Symbol(Vector.partition2, Decl(conditionalTypes2.ts, 42, 5), Decl(conditionalTypes2.ts, 43, 88), Decl(conditionalTypes2.ts, 44, 64))
166+
>U : Symbol(U, Decl(conditionalTypes2.ts, 45, 15))
167+
>T : Symbol(T, Decl(conditionalTypes2.ts, 39, 13))
168+
>predicate : Symbol(predicate, Decl(conditionalTypes2.ts, 45, 28))
169+
>v : Symbol(v, Decl(conditionalTypes2.ts, 45, 39))
170+
>T : Symbol(T, Decl(conditionalTypes2.ts, 39, 13))
171+
>Vector : Symbol(Vector, Decl(conditionalTypes2.ts, 37, 1))
172+
>U : Symbol(U, Decl(conditionalTypes2.ts, 45, 15))
173+
>Vector : Symbol(Vector, Decl(conditionalTypes2.ts, 37, 1))
175174

176175
return <any>undefined;
177176
>undefined : Symbol(undefined)
178177
}
179178
}
180179

181180
interface A1<T> {
182-
>A1 : Symbol(A1, Decl(conditionalTypes2.ts, 52, 1))
183-
>T : Symbol(T, Decl(conditionalTypes2.ts, 54, 13))
181+
>A1 : Symbol(A1, Decl(conditionalTypes2.ts, 48, 1))
182+
>T : Symbol(T, Decl(conditionalTypes2.ts, 50, 13))
184183

185184
bat: B1<A1<T>>;
186-
>bat : Symbol(A1.bat, Decl(conditionalTypes2.ts, 54, 17))
187-
>B1 : Symbol(B1, Decl(conditionalTypes2.ts, 56, 1))
188-
>A1 : Symbol(A1, Decl(conditionalTypes2.ts, 52, 1))
189-
>T : Symbol(T, Decl(conditionalTypes2.ts, 54, 13))
185+
>bat : Symbol(A1.bat, Decl(conditionalTypes2.ts, 50, 17))
186+
>B1 : Symbol(B1, Decl(conditionalTypes2.ts, 52, 1))
187+
>A1 : Symbol(A1, Decl(conditionalTypes2.ts, 48, 1))
188+
>T : Symbol(T, Decl(conditionalTypes2.ts, 50, 13))
190189
}
191190

192191
interface B1<T> extends A1<T> {
193-
>B1 : Symbol(B1, Decl(conditionalTypes2.ts, 56, 1))
194-
>T : Symbol(T, Decl(conditionalTypes2.ts, 58, 13))
195-
>A1 : Symbol(A1, Decl(conditionalTypes2.ts, 52, 1))
196-
>T : Symbol(T, Decl(conditionalTypes2.ts, 58, 13))
192+
>B1 : Symbol(B1, Decl(conditionalTypes2.ts, 52, 1))
193+
>T : Symbol(T, Decl(conditionalTypes2.ts, 54, 13))
194+
>A1 : Symbol(A1, Decl(conditionalTypes2.ts, 48, 1))
195+
>T : Symbol(T, Decl(conditionalTypes2.ts, 54, 13))
197196

198197
bat: B1<B1<T>>;
199-
>bat : Symbol(B1.bat, Decl(conditionalTypes2.ts, 58, 31))
200-
>B1 : Symbol(B1, Decl(conditionalTypes2.ts, 56, 1))
201-
>B1 : Symbol(B1, Decl(conditionalTypes2.ts, 56, 1))
202-
>T : Symbol(T, Decl(conditionalTypes2.ts, 58, 13))
198+
>bat : Symbol(B1.bat, Decl(conditionalTypes2.ts, 54, 31))
199+
>B1 : Symbol(B1, Decl(conditionalTypes2.ts, 52, 1))
200+
>B1 : Symbol(B1, Decl(conditionalTypes2.ts, 52, 1))
201+
>T : Symbol(T, Decl(conditionalTypes2.ts, 54, 13))
203202

204203
boom: T extends any ? true : true
205-
>boom : Symbol(B1.boom, Decl(conditionalTypes2.ts, 59, 19))
206-
>T : Symbol(T, Decl(conditionalTypes2.ts, 58, 13))
204+
>boom : Symbol(B1.boom, Decl(conditionalTypes2.ts, 55, 19))
205+
>T : Symbol(T, Decl(conditionalTypes2.ts, 54, 13))
207206
}
208207

0 commit comments

Comments
 (0)