Skip to content

Commit 66f5be9

Browse files
jakebaileyjakebailey
authored
Fix baselines from recent merge (microsoft#58037)
1 parent 520772e commit 66f5be9

File tree

2 files changed

+101
-1
lines changed

2 files changed

+101
-1
lines changed

‎tests/baselines/reference/noInferCommonPropertyCheck1.types

+35-1
Original file line numberDiff line numberDiff line change
@@ -3,69 +3,103 @@
33
=== noInferCommonPropertyCheck1.ts ===
44
declare const partialObj1: Partial<{ a: unknown; b: unknown }>;
55
>partialObj1 : Partial<{ a: unknown; b: unknown; }>
6+
> : ^^^^^^^^^^^^^ ^^^^^ ^^^^
67
>a : unknown
8+
> : ^^^^^^^
79
>b : unknown
10+
> : ^^^^^^^
811

912
declare const partialObj2: Partial<{ c: unknown; d: unknown }>;
1013
>partialObj2 : Partial<{ c: unknown; d: unknown; }>
14+
> : ^^^^^^^^^^^^^ ^^^^^ ^^^^
1115
>c : unknown
16+
> : ^^^^^^^
1217
>d : unknown
18+
> : ^^^^^^^
1319

1420
declare const someObj1: { x: string };
1521
>someObj1 : { x: string; }
22+
> : ^^^^^ ^^^
1623
>x : string
24+
> : ^^^^^^
1725

1826
declare function test1<T>(a: T, b: NoInfer<T> & { prop?: unknown }): void;
19-
>test1 : <T>(a: T, b: NoInfer<T> & { prop?: unknown;}) => void
27+
>test1 : <T>(a: T, b: NoInfer<T> & { prop?: unknown; }) => void
28+
> : ^ ^^^^^ ^^^^^ ^^^^^
2029
>a : T
30+
> : ^
2131
>b : NoInfer<T> & { prop?: unknown; }
32+
> : ^^^^^^^^^^^^^^^^^^^^^^ ^^^
2233
>prop : unknown
34+
> : ^^^^^^^
2335

2436
test1(partialObj1, someObj1);
2537
>test1(partialObj1, someObj1) : void
38+
> : ^^^^
2639
>test1 : <T>(a: T, b: NoInfer<T> & { prop?: unknown; }) => void
40+
> : ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
2741
>partialObj1 : Partial<{ a: unknown; b: unknown; }>
42+
> : ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
2843
>someObj1 : { x: string; }
44+
> : ^^^^^^^^^^^^^^
2945

3046
declare function test2<T1, T2>(
3147
>test2 : <T1, T2>(a: T1, b: T2, c: NoInfer<T1> & NoInfer<T2>) => void
48+
> : ^ ^^ ^^^^^ ^^^^^ ^^^^^ ^^^^^
3249

3350
a: T1,
3451
>a : T1
52+
> : ^^
3553

3654
b: T2,
3755
>b : T2
56+
> : ^^
3857

3958
c: NoInfer<T1> & NoInfer<T2>,
4059
>c : NoInfer<T1> & NoInfer<T2>
60+
> : ^^^^^^^^^^^^^^^^^^^^^^^^^
4161

4262
): void;
4363

4464
test2(partialObj1, partialObj2, someObj1);
4565
>test2(partialObj1, partialObj2, someObj1) : void
66+
> : ^^^^
4667
>test2 : <T1, T2>(a: T1, b: T2, c: NoInfer<T1> & NoInfer<T2>) => void
68+
> : ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
4769
>partialObj1 : Partial<{ a: unknown; b: unknown; }>
70+
> : ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
4871
>partialObj2 : Partial<{ c: unknown; d: unknown; }>
72+
> : ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
4973
>someObj1 : { x: string; }
74+
> : ^^^^^^^^^^^^^^
5075

5176
declare function test3<T1, T2>(
5277
>test3 : <T1, T2>(a: T1, b: T2, c: NoInfer<T1 & T2>) => void
78+
> : ^ ^^ ^^^^^ ^^^^^ ^^^^^ ^^^^^
5379

5480
a: T1,
5581
>a : T1
82+
> : ^^
5683

5784
b: T2,
5885
>b : T2
86+
> : ^^
5987

6088
c: NoInfer<T1 & T2>,
6189
>c : NoInfer<T1 & T2>
90+
> : ^^^^^^^^^^^^^^^^
6291

6392
): void;
6493

6594
test3(partialObj1, partialObj2, someObj1);
6695
>test3(partialObj1, partialObj2, someObj1) : void
96+
> : ^^^^
6797
>test3 : <T1, T2>(a: T1, b: T2, c: NoInfer<T1 & T2>) => void
98+
> : ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
6899
>partialObj1 : Partial<{ a: unknown; b: unknown; }>
100+
> : ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
69101
>partialObj2 : Partial<{ c: unknown; d: unknown; }>
102+
> : ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
70103
>someObj1 : { x: string; }
104+
> : ^^^^^^^^^^^^^^
71105

‎tests/baselines/reference/noInferUnionExcessPropertyCheck1.types

+66
Original file line numberDiff line numberDiff line change
@@ -3,103 +3,169 @@
33
=== noInferUnionExcessPropertyCheck1.ts ===
44
declare function test1<T extends { x: string }>(
55
>test1 : <T extends { x: string; }>(a: T, b: NoInfer<T> | (() => NoInfer<T>)) => void
6+
> : ^ ^^^^^^^^^^^^^^ ^^^^^^^^ ^^^^^ ^^^^^
67
>x : string
8+
> : ^^^^^^
79

810
a: T,
911
>a : T
12+
> : ^
1013

1114
b: NoInfer<T> | (() => NoInfer<T>),
1215
>b : NoInfer<T> | (() => NoInfer<T>)
16+
> : ^^^^^^^^^^^^^^^^^^^^ ^
1317

1418
): void;
1519

1620
test1({ x: "foo" }, { x: "bar" }); // no error
1721
>test1({ x: "foo" }, { x: "bar" }) : void
22+
> : ^^^^
1823
>test1 : <T extends { x: string; }>(a: T, b: NoInfer<T> | (() => NoInfer<T>)) => void
24+
> : ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
1925
>{ x: "foo" } : { x: string; }
26+
> : ^^^^^^^^^^^^^^
2027
>x : string
28+
> : ^^^^^^
2129
>"foo" : "foo"
30+
> : ^^^^^
2231
>{ x: "bar" } : { x: string; }
32+
> : ^^^^^^^^^^^^^^
2333
>x : string
34+
> : ^^^^^^
2435
>"bar" : "bar"
36+
> : ^^^^^
2537

2638
test1({ x: "foo" }, { x: "bar", y: 42 }); // epc error
2739
>test1({ x: "foo" }, { x: "bar", y: 42 }) : void
40+
> : ^^^^
2841
>test1 : <T extends { x: string; }>(a: T, b: NoInfer<T> | (() => NoInfer<T>)) => void
42+
> : ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
2943
>{ x: "foo" } : { x: string; }
44+
> : ^^^^^^^^^^^^^^
3045
>x : string
46+
> : ^^^^^^
3147
>"foo" : "foo"
48+
> : ^^^^^
3249
>{ x: "bar", y: 42 } : { x: string; y: number; }
50+
> : ^^^^^^^^^^^^^^^^^^^^^^^^^
3351
>x : string
52+
> : ^^^^^^
3453
>"bar" : "bar"
54+
> : ^^^^^
3555
>y : number
56+
> : ^^^^^^
3657
>42 : 42
58+
> : ^^
3759

3860
declare function test2<T extends { x: string }>(
3961
>test2 : <T extends { x: string; }>(a: T, b: NoInfer<T> | NoInfer<() => T>) => void
62+
> : ^ ^^^^^^^^^^^^^^ ^^^^^^^^ ^^^^^ ^^^^^
4063
>x : string
64+
> : ^^^^^^
4165

4266
a: T,
4367
>a : T
68+
> : ^
4469

4570
b: NoInfer<T> | NoInfer<() => T>,
4671
>b : NoInfer<T> | NoInfer<() => T>
72+
> : ^^^^^^^^^^^^^^^^^^^^^^^^^^^ ^
4773

4874
): void;
4975

5076
test2({ x: "foo" }, { x: "bar" }); // no error
5177
>test2({ x: "foo" }, { x: "bar" }) : void
78+
> : ^^^^
5279
>test2 : <T extends { x: string; }>(a: T, b: NoInfer<T> | NoInfer<() => T>) => void
80+
> : ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
5381
>{ x: "foo" } : { x: string; }
82+
> : ^^^^^^^^^^^^^^
5483
>x : string
84+
> : ^^^^^^
5585
>"foo" : "foo"
86+
> : ^^^^^
5687
>{ x: "bar" } : { x: string; }
88+
> : ^^^^^^^^^^^^^^
5789
>x : string
90+
> : ^^^^^^
5891
>"bar" : "bar"
92+
> : ^^^^^
5993

6094
test2({ x: "foo" }, { x: "bar", y: 42 }); // epc error
6195
>test2({ x: "foo" }, { x: "bar", y: 42 }) : void
96+
> : ^^^^
6297
>test2 : <T extends { x: string; }>(a: T, b: NoInfer<T> | NoInfer<() => T>) => void
98+
> : ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
6399
>{ x: "foo" } : { x: string; }
100+
> : ^^^^^^^^^^^^^^
64101
>x : string
102+
> : ^^^^^^
65103
>"foo" : "foo"
104+
> : ^^^^^
66105
>{ x: "bar", y: 42 } : { x: string; y: number; }
106+
> : ^^^^^^^^^^^^^^^^^^^^^^^^^
67107
>x : string
108+
> : ^^^^^^
68109
>"bar" : "bar"
110+
> : ^^^^^
69111
>y : number
112+
> : ^^^^^^
70113
>42 : 42
114+
> : ^^
71115

72116
declare function test3<T extends { x: string }>(
73117
>test3 : <T extends { x: string; }>(a: T, b: NoInfer<T | (() => T)>) => void
118+
> : ^ ^^^^^^^^^^^^^^ ^^^^^^^^ ^^^^^ ^^^^^
74119
>x : string
120+
> : ^^^^^^
75121

76122
a: T,
77123
>a : T
124+
> : ^
78125

79126
b: NoInfer<T | (() => T)>,
80127
>b : NoInfer<T | (() => T)>
128+
> : ^^^^^^^^^^^^^^^^^^^ ^^
81129

82130
): void;
83131

84132
test3({ x: "foo" }, { x: "bar" }); // no error
85133
>test3({ x: "foo" }, { x: "bar" }) : void
134+
> : ^^^^
86135
>test3 : <T extends { x: string; }>(a: T, b: NoInfer<T | (() => T)>) => void
136+
> : ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
87137
>{ x: "foo" } : { x: string; }
138+
> : ^^^^^^^^^^^^^^
88139
>x : string
140+
> : ^^^^^^
89141
>"foo" : "foo"
142+
> : ^^^^^
90143
>{ x: "bar" } : { x: string; }
144+
> : ^^^^^^^^^^^^^^
91145
>x : string
146+
> : ^^^^^^
92147
>"bar" : "bar"
148+
> : ^^^^^
93149

94150
test3({ x: "foo" }, { x: "bar", y: 42 }); // epc error
95151
>test3({ x: "foo" }, { x: "bar", y: 42 }) : void
152+
> : ^^^^
96153
>test3 : <T extends { x: string; }>(a: T, b: NoInfer<T | (() => T)>) => void
154+
> : ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
97155
>{ x: "foo" } : { x: string; }
156+
> : ^^^^^^^^^^^^^^
98157
>x : string
158+
> : ^^^^^^
99159
>"foo" : "foo"
160+
> : ^^^^^
100161
>{ x: "bar", y: 42 } : { x: string; y: number; }
162+
> : ^^^^^^^^^^^^^^^^^^^^^^^^^
101163
>x : string
164+
> : ^^^^^^
102165
>"bar" : "bar"
166+
> : ^^^^^
103167
>y : number
168+
> : ^^^^^^
104169
>42 : 42
170+
> : ^^
105171

0 commit comments

Comments
 (0)