Skip to content

Commit 8f3a917

Browse files
ahejlsbergahejlsberg
committed
Accept new baselines
1 parent c2d0aa8 commit 8f3a917

15 files changed

+61
-48
lines changed

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

-2
Original file line numberDiff line numberDiff line change
@@ -1,7 +1,6 @@
11
tests/cases/compiler/arrayFrom.ts(20,7): error TS2322: Type 'A[]' is not assignable to type 'B[]'.
22
Property 'b' is missing in type 'A' but required in type 'B'.
33
tests/cases/compiler/arrayFrom.ts(23,7): error TS2322: Type 'A[]' is not assignable to type 'B[]'.
4-
Type 'A' is not assignable to type 'B'.
54

65

76
==== tests/cases/compiler/arrayFrom.ts (2 errors) ====
@@ -34,7 +33,6 @@ tests/cases/compiler/arrayFrom.ts(23,7): error TS2322: Type 'A[]' is not assigna
3433
const result6: B[] = Array.from(inputALike); // expect error
3534
~~~~~~~
3635
!!! error TS2322: Type 'A[]' is not assignable to type 'B[]'.
37-
!!! error TS2322: Type 'A' is not assignable to type 'B'.
3836
const result7: B[] = Array.from(inputALike, ({ a }): B => ({ b: a }));
3937
const result8: A[] = Array.from(inputARand);
4038
const result9: B[] = Array.from(inputARand, ({ a }): B => ({ b: a }));

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

-2
Original file line numberDiff line numberDiff line change
@@ -4,7 +4,6 @@ tests/cases/conformance/types/tuple/castingTuple.ts(14,15): error TS2352: Conver
44
Types of property 'length' are incompatible.
55
Type '3' is not comparable to type '2'.
66
tests/cases/conformance/types/tuple/castingTuple.ts(15,14): error TS2352: Conversion of type '[number, string]' to type '[number, string, boolean]' may be a mistake because neither type sufficiently overlaps with the other. If this was intentional, convert the expression to 'unknown' first.
7-
Property '2' is missing in type '[number, string]' but required in type '[number, string, boolean]'.
87
tests/cases/conformance/types/tuple/castingTuple.ts(18,21): error TS2352: Conversion of type '[C, D]' to type '[C, D, A]' may be a mistake because neither type sufficiently overlaps with the other. If this was intentional, convert the expression to 'unknown' first.
98
Property '2' is missing in type '[C, D]' but required in type '[C, D, A]'.
109
tests/cases/conformance/types/tuple/castingTuple.ts(20,33): error TS2493: Tuple type '[C, D, A]' of length '3' has no element at index '5'.
@@ -41,7 +40,6 @@ tests/cases/conformance/types/tuple/castingTuple.ts(33,1): error TS2304: Cannot
4140
var longer = numStrTuple as [number, string, boolean]
4241
~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
4342
!!! error TS2352: Conversion of type '[number, string]' to type '[number, string, boolean]' may be a mistake because neither type sufficiently overlaps with the other. If this was intentional, convert the expression to 'unknown' first.
44-
!!! error TS2352: Property '2' is missing in type '[number, string]' but required in type '[number, string, boolean]'.
4543
var classCDTuple: [C, D] = [new C(), new D()];
4644
var interfaceIITuple = <[I, I]>classCDTuple;
4745
var classCDATuple = <[C, D, A]>classCDTuple;

‎tests/baselines/reference/checkJsxChildrenProperty3.types

+2-2
Original file line numberDiff line numberDiff line change
@@ -31,11 +31,11 @@ class FetchUser extends React.Component<IFetchUserProps, any> {
3131

3232
? this.props.children(this.state.result)
3333
>this.props.children(this.state.result) : JSX.Element
34-
>this.props.children : ((user: IUser) => JSX.Element) | (((user: IUser) => JSX.Element) & string) | (((user: IUser) => JSX.Element) & number) | (((user: IUser) => JSX.Element) & false) | (((user: IUser) => JSX.Element) & true) | (((user: IUser) => JSX.Element) & React.ReactElement<any>) | (((user: IUser) => JSX.Element) & (string | number | boolean | React.ReactElement<any> | any[])[])
34+
>this.props.children : ((user: IUser) => JSX.Element) | (((user: IUser) => JSX.Element) & string) | (((user: IUser) => JSX.Element) & number) | (((user: IUser) => JSX.Element) & false) | (((user: IUser) => JSX.Element) & true) | (((user: IUser) => JSX.Element) & React.ReactElement<any>) | (((user: IUser) => JSX.Element) & (string | number | boolean | any[] | React.ReactElement<any>)[])
3535
>this.props : IFetchUserProps & { children?: React.ReactNode; }
3636
>this : this
3737
>props : IFetchUserProps & { children?: React.ReactNode; }
38-
>children : ((user: IUser) => JSX.Element) | (((user: IUser) => JSX.Element) & string) | (((user: IUser) => JSX.Element) & number) | (((user: IUser) => JSX.Element) & false) | (((user: IUser) => JSX.Element) & true) | (((user: IUser) => JSX.Element) & React.ReactElement<any>) | (((user: IUser) => JSX.Element) & (string | number | boolean | React.ReactElement<any> | any[])[])
38+
>children : ((user: IUser) => JSX.Element) | (((user: IUser) => JSX.Element) & string) | (((user: IUser) => JSX.Element) & number) | (((user: IUser) => JSX.Element) & false) | (((user: IUser) => JSX.Element) & true) | (((user: IUser) => JSX.Element) & React.ReactElement<any>) | (((user: IUser) => JSX.Element) & (string | number | boolean | any[] | React.ReactElement<any>)[])
3939
>this.state.result : any
4040
>this.state : any
4141
>this : this

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

+8-8
Original file line numberDiff line numberDiff line change
@@ -1,8 +1,8 @@
11
tests/cases/conformance/jsx/file.tsx(24,28): error TS2551: Property 'NAme' does not exist on type 'IUser'. Did you mean 'Name'?
2-
tests/cases/conformance/jsx/file.tsx(36,15): error TS2322: Type '(user: IUser) => Element' is not assignable to type 'string | number | boolean | ReactElement<any> | any[]'.
3-
Type '(user: IUser) => Element' is missing the following properties from type 'any[]': push, pop, concat, join, and 15 more.
4-
tests/cases/conformance/jsx/file.tsx(39,15): error TS2322: Type '(user: IUser) => Element' is not assignable to type 'string | number | boolean | ReactElement<any> | any[]'.
5-
Type '(user: IUser) => Element' is missing the following properties from type 'any[]': push, pop, concat, join, and 15 more.
2+
tests/cases/conformance/jsx/file.tsx(36,15): error TS2322: Type '(user: IUser) => Element' is not assignable to type 'string | number | boolean | any[] | ReactElement<any>'.
3+
Type '(user: IUser) => Element' is missing the following properties from type 'ReactElement<any>': type, props
4+
tests/cases/conformance/jsx/file.tsx(39,15): error TS2322: Type '(user: IUser) => Element' is not assignable to type 'string | number | boolean | any[] | ReactElement<any>'.
5+
Type '(user: IUser) => Element' is missing the following properties from type 'ReactElement<any>': type, props
66

77

88
==== tests/cases/conformance/jsx/file.tsx (3 errors) ====
@@ -50,17 +50,17 @@ tests/cases/conformance/jsx/file.tsx(39,15): error TS2322: Type '(user: IUser) =
5050
~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
5151
) }
5252
~~~~~~~~~~~~~
53-
!!! error TS2322: Type '(user: IUser) => Element' is not assignable to type 'string | number | boolean | ReactElement<any> | any[]'.
54-
!!! error TS2322: Type '(user: IUser) => Element' is missing the following properties from type 'any[]': push, pop, concat, join, and 15 more.
53+
!!! error TS2322: Type '(user: IUser) => Element' is not assignable to type 'string | number | boolean | any[] | ReactElement<any>'.
54+
!!! error TS2322: Type '(user: IUser) => Element' is missing the following properties from type 'ReactElement<any>': type, props
5555
!!! related TS6212 tests/cases/conformance/jsx/file.tsx:36:15: Did you mean to call this expression?
5656
{ user => (
5757
~~~~~~~~~
5858
<h1>{ user.Name }</h1>
5959
~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
6060
) }
6161
~~~~~~~~~~~~~
62-
!!! error TS2322: Type '(user: IUser) => Element' is not assignable to type 'string | number | boolean | ReactElement<any> | any[]'.
63-
!!! error TS2322: Type '(user: IUser) => Element' is missing the following properties from type 'any[]': push, pop, concat, join, and 15 more.
62+
!!! error TS2322: Type '(user: IUser) => Element' is not assignable to type 'string | number | boolean | any[] | ReactElement<any>'.
63+
!!! error TS2322: Type '(user: IUser) => Element' is missing the following properties from type 'ReactElement<any>': type, props
6464
!!! related TS6212 tests/cases/conformance/jsx/file.tsx:39:15: Did you mean to call this expression?
6565
</FetchUser>
6666
);

‎tests/baselines/reference/checkJsxChildrenProperty4.types

+2-2
Original file line numberDiff line numberDiff line change
@@ -31,11 +31,11 @@ class FetchUser extends React.Component<IFetchUserProps, any> {
3131

3232
? this.props.children(this.state.result)
3333
>this.props.children(this.state.result) : JSX.Element
34-
>this.props.children : ((user: IUser) => JSX.Element) | (((user: IUser) => JSX.Element) & string) | (((user: IUser) => JSX.Element) & number) | (((user: IUser) => JSX.Element) & false) | (((user: IUser) => JSX.Element) & true) | (((user: IUser) => JSX.Element) & React.ReactElement<any>) | (((user: IUser) => JSX.Element) & (string | number | boolean | React.ReactElement<any> | any[])[])
34+
>this.props.children : ((user: IUser) => JSX.Element) | (((user: IUser) => JSX.Element) & string) | (((user: IUser) => JSX.Element) & number) | (((user: IUser) => JSX.Element) & false) | (((user: IUser) => JSX.Element) & true) | (((user: IUser) => JSX.Element) & React.ReactElement<any>) | (((user: IUser) => JSX.Element) & (string | number | boolean | any[] | React.ReactElement<any>)[])
3535
>this.props : IFetchUserProps & { children?: React.ReactNode; }
3636
>this : this
3737
>props : IFetchUserProps & { children?: React.ReactNode; }
38-
>children : ((user: IUser) => JSX.Element) | (((user: IUser) => JSX.Element) & string) | (((user: IUser) => JSX.Element) & number) | (((user: IUser) => JSX.Element) & false) | (((user: IUser) => JSX.Element) & true) | (((user: IUser) => JSX.Element) & React.ReactElement<any>) | (((user: IUser) => JSX.Element) & (string | number | boolean | React.ReactElement<any> | any[])[])
38+
>children : ((user: IUser) => JSX.Element) | (((user: IUser) => JSX.Element) & string) | (((user: IUser) => JSX.Element) & number) | (((user: IUser) => JSX.Element) & false) | (((user: IUser) => JSX.Element) & true) | (((user: IUser) => JSX.Element) & React.ReactElement<any>) | (((user: IUser) => JSX.Element) & (string | number | boolean | any[] | React.ReactElement<any>)[])
3939
>this.state.result : any
4040
>this.state : any
4141
>this : this

‎tests/baselines/reference/complexRecursiveCollections.types

+8-8
Original file line numberDiff line numberDiff line change
@@ -1029,28 +1029,28 @@ declare module Immutable {
10291029
>value : T[K]
10301030

10311031
merge(...collections: Array<Partial<T> | Iterable<[string, any]>>): this;
1032-
>merge : (...collections: (Partial<T> | Iterable<[string, any]>)[]) => this
1033-
>collections : (Partial<T> | Iterable<[string, any]>)[]
1032+
>merge : (...collections: (Iterable<[string, any]> | Partial<T>)[]) => this
1033+
>collections : (Iterable<[string, any]> | Partial<T>)[]
10341034

10351035
mergeDeep(...collections: Array<Partial<T> | Iterable<[string, any]>>): this;
1036-
>mergeDeep : (...collections: (Partial<T> | Iterable<[string, any]>)[]) => this
1037-
>collections : (Partial<T> | Iterable<[string, any]>)[]
1036+
>mergeDeep : (...collections: (Iterable<[string, any]> | Partial<T>)[]) => this
1037+
>collections : (Iterable<[string, any]> | Partial<T>)[]
10381038

10391039
mergeWith(merger: (oldVal: any, newVal: any, key: keyof T) => any, ...collections: Array<Partial<T> | Iterable<[string, any]>>): this;
1040-
>mergeWith : (merger: (oldVal: any, newVal: any, key: keyof T) => any, ...collections: (Partial<T> | Iterable<[string, any]>)[]) => this
1040+
>mergeWith : (merger: (oldVal: any, newVal: any, key: keyof T) => any, ...collections: (Iterable<[string, any]> | Partial<T>)[]) => this
10411041
>merger : (oldVal: any, newVal: any, key: keyof T) => any
10421042
>oldVal : any
10431043
>newVal : any
10441044
>key : keyof T
1045-
>collections : (Partial<T> | Iterable<[string, any]>)[]
1045+
>collections : (Iterable<[string, any]> | Partial<T>)[]
10461046

10471047
mergeDeepWith(merger: (oldVal: any, newVal: any, key: any) => any, ...collections: Array<Partial<T> | Iterable<[string, any]>>): this;
1048-
>mergeDeepWith : (merger: (oldVal: any, newVal: any, key: any) => any, ...collections: (Partial<T> | Iterable<[string, any]>)[]) => this
1048+
>mergeDeepWith : (merger: (oldVal: any, newVal: any, key: any) => any, ...collections: (Iterable<[string, any]> | Partial<T>)[]) => this
10491049
>merger : (oldVal: any, newVal: any, key: any) => any
10501050
>oldVal : any
10511051
>newVal : any
10521052
>key : any
1053-
>collections : (Partial<T> | Iterable<[string, any]>)[]
1053+
>collections : (Iterable<[string, any]> | Partial<T>)[]
10541054

10551055
delete<K extends keyof T>(key: K): this;
10561056
>delete : <K extends keyof T>(key: K) => this

‎tests/baselines/reference/contextualSignatureInstantiation.types

+1-1
Original file line numberDiff line numberDiff line change
@@ -108,7 +108,7 @@ var d = bar(1, "one", h); // Should be number[] | string[]
108108

109109
var d = bar("one", 1, h); // Should be number[] | string[]
110110
>d : number[] | string[]
111-
>bar("one", 1, h) : string[] | number[]
111+
>bar("one", 1, h) : number[] | string[]
112112
>bar : <T, U, V>(x: T, y: U, cb: (x: T, y: U) => V) => V
113113
>"one" : "one"
114114
>1 : 1

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

+19-1
Original file line numberDiff line numberDiff line change
@@ -4,9 +4,15 @@ tests/cases/conformance/types/typeAliases/directDependenceBetweenTypeAliases.ts(
44
tests/cases/conformance/types/typeAliases/directDependenceBetweenTypeAliases.ts(7,6): error TS2456: Type alias 'T0_3' circularly references itself.
55
tests/cases/conformance/types/typeAliases/directDependenceBetweenTypeAliases.ts(11,6): error TS2456: Type alias 'T1' circularly references itself.
66
tests/cases/conformance/types/typeAliases/directDependenceBetweenTypeAliases.ts(14,6): error TS2456: Type alias 'T2' circularly references itself.
7+
tests/cases/conformance/types/typeAliases/directDependenceBetweenTypeAliases.ts(25,5): error TS2502: 'x' is referenced directly or indirectly in its own type annotation.
8+
tests/cases/conformance/types/typeAliases/directDependenceBetweenTypeAliases.ts(26,6): error TS2456: Type alias 'T5' circularly references itself.
9+
tests/cases/conformance/types/typeAliases/directDependenceBetweenTypeAliases.ts(29,6): error TS2456: Type alias 'T6' circularly references itself.
10+
tests/cases/conformance/types/typeAliases/directDependenceBetweenTypeAliases.ts(30,6): error TS2456: Type alias 'T7' circularly references itself.
11+
tests/cases/conformance/types/typeAliases/directDependenceBetweenTypeAliases.ts(31,5): error TS2502: 'yy' is referenced directly or indirectly in its own type annotation.
12+
tests/cases/conformance/types/typeAliases/directDependenceBetweenTypeAliases.ts(32,6): error TS2456: Type alias 'T8' circularly references itself.
713

814

9-
==== tests/cases/conformance/types/typeAliases/directDependenceBetweenTypeAliases.ts (6 errors) ====
15+
==== tests/cases/conformance/types/typeAliases/directDependenceBetweenTypeAliases.ts (12 errors) ====
1016
// It is an error for the type specified in a type alias to depend on that type alias
1117

1218
// A type alias directly depends on the type it aliases.
@@ -44,13 +50,25 @@ tests/cases/conformance/types/typeAliases/directDependenceBetweenTypeAliases.ts(
4450

4551
// A type query directly depends on the type of the referenced entity.
4652
var x: T5[] = []
53+
~
54+
!!! error TS2502: 'x' is referenced directly or indirectly in its own type annotation.
4755
type T5 = typeof x
56+
~~
57+
!!! error TS2456: Type alias 'T5' circularly references itself.
4858

4959
class C1<T> {}
5060
type T6 = T7 | number
61+
~~
62+
!!! error TS2456: Type alias 'T6' circularly references itself.
5163
type T7 = typeof yy
64+
~~
65+
!!! error TS2456: Type alias 'T7' circularly references itself.
5266
var yy: [string, T8[]];
67+
~~
68+
!!! error TS2502: 'yy' is referenced directly or indirectly in its own type annotation.
5369
type T8 = C<T6>
70+
~~
71+
!!! error TS2456: Type alias 'T8' circularly references itself.
5472

5573
// legal cases
5674
type T9 = () => T9

‎tests/baselines/reference/directDependenceBetweenTypeAliases.types

+8-8
Original file line numberDiff line numberDiff line change
@@ -39,28 +39,28 @@ type T4 = [number, T4]
3939

4040
// A type query directly depends on the type of the referenced entity.
4141
var x: T5[] = []
42-
>x : any[][][][][][][][][][][]
42+
>x : any
4343
>[] : undefined[]
4444

4545
type T5 = typeof x
46-
>T5 : any[][][][][][][][][][][]
47-
>x : any[][][][][][][][][][][]
46+
>T5 : any
47+
>x : any
4848

4949
class C1<T> {}
5050
>C1 : C1<T>
5151

5252
type T6 = T7 | number
53-
>T6 : T6
53+
>T6 : any
5454

5555
type T7 = typeof yy
56-
>T7 : [string, C<T6>[]]
57-
>yy : [string, C<T6>[]]
56+
>T7 : any
57+
>yy : any
5858

5959
var yy: [string, T8[]];
60-
>yy : [string, C<T6>[]]
60+
>yy : any
6161

6262
type T8 = C<T6>
63-
>T8 : C<T6>
63+
>T8 : any
6464

6565
// legal cases
6666
type T9 = () => T9

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

+2-2
Original file line numberDiff line numberDiff line change
@@ -1,4 +1,4 @@
1-
tests/cases/compiler/recursiveResolveTypeMembers.ts(4,49): error TS2589: Type instantiation is excessively deep and possibly infinite.
1+
tests/cases/compiler/recursiveResolveTypeMembers.ts(4,49): error TS2577: Return type annotation circularly references itself.
22
tests/cases/compiler/recursiveResolveTypeMembers.ts(4,58): error TS2304: Cannot find name 'H'.
33
tests/cases/compiler/recursiveResolveTypeMembers.ts(4,62): error TS2574: A rest element type must be an array type.
44
tests/cases/compiler/recursiveResolveTypeMembers.ts(4,79): error TS2304: Cannot find name 'R'.
@@ -10,7 +10,7 @@ tests/cases/compiler/recursiveResolveTypeMembers.ts(4,79): error TS2304: Cannot
1010
type PromisedTuple<L extends any[], U = (...args: L) => void> =
1111
U extends (h: infer H, ...args: infer R) => [Promise<H>, ...PromisedTuple<R>] ? [] : []
1212
~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
13-
!!! error TS2589: Type instantiation is excessively deep and possibly infinite.
13+
!!! error TS2577: Return type annotation circularly references itself.
1414
~
1515
!!! error TS2304: Cannot find name 'H'.
1616
~~~~~~~~~~~~~~~~~~~

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

+3-4
Original file line numberDiff line numberDiff line change
@@ -3,7 +3,7 @@ tests/cases/conformance/types/specifyingTypes/typeQueries/recursiveTypesWithType
33
tests/cases/conformance/types/specifyingTypes/typeQueries/recursiveTypesWithTypeof.ts(6,5): error TS2502: 'e' is referenced directly or indirectly in its own type annotation.
44
tests/cases/conformance/types/specifyingTypes/typeQueries/recursiveTypesWithTypeof.ts(10,5): error TS2502: 'f' is referenced directly or indirectly in its own type annotation.
55
tests/cases/conformance/types/specifyingTypes/typeQueries/recursiveTypesWithTypeof.ts(12,5): error TS2502: 'f2' is referenced directly or indirectly in its own type annotation.
6-
tests/cases/conformance/types/specifyingTypes/typeQueries/recursiveTypesWithTypeof.ts(15,5): error TS2403: Subsequent variable declarations must have the same type. Variable 'f3' must be of type 'Foo<Foo<Foo<Foo<Foo<Foo<Foo<Foo<Foo<Foo<Foo<any>[]>[]>[]>[]>[]>[]>[]>[]>[]>[]>[]', but here has type 'any'.
6+
tests/cases/conformance/types/specifyingTypes/typeQueries/recursiveTypesWithTypeof.ts(14,5): error TS2502: 'f3' is referenced directly or indirectly in its own type annotation.
77
tests/cases/conformance/types/specifyingTypes/typeQueries/recursiveTypesWithTypeof.ts(51,5): error TS2502: 'hy3' is referenced directly or indirectly in its own type annotation.
88

99

@@ -32,10 +32,9 @@ tests/cases/conformance/types/specifyingTypes/typeQueries/recursiveTypesWithType
3232
!!! error TS2502: 'f2' is referenced directly or indirectly in its own type annotation.
3333
var f2: any;
3434
var f3: Foo<typeof f3>[];
35-
var f3: any;
3635
~~
37-
!!! error TS2403: Subsequent variable declarations must have the same type. Variable 'f3' must be of type 'Foo<Foo<Foo<Foo<Foo<Foo<Foo<Foo<Foo<Foo<Foo<any>[]>[]>[]>[]>[]>[]>[]>[]>[]>[]>[]', but here has type 'any'.
38-
!!! related TS6203 tests/cases/conformance/types/specifyingTypes/typeQueries/recursiveTypesWithTypeof.ts:14:5: 'f3' was also declared here.
36+
!!! error TS2502: 'f3' is referenced directly or indirectly in its own type annotation.
37+
var f3: any;
3938

4039
// None of these declarations should have any errors!
4140
// Truly recursive types

‎tests/baselines/reference/recursiveTypesWithTypeof.types

+3-3
Original file line numberDiff line numberDiff line change
@@ -37,11 +37,11 @@ var f2: any;
3737
>f2 : any
3838

3939
var f3: Foo<typeof f3>[];
40-
>f3 : Foo<Foo<Foo<Foo<Foo<Foo<Foo<Foo<Foo<Foo<Foo<any>[]>[]>[]>[]>[]>[]>[]>[]>[]>[]>[]
41-
>f3 : Foo<Foo<Foo<Foo<Foo<Foo<Foo<Foo<Foo<Foo<Foo<any>[]>[]>[]>[]>[]>[]>[]>[]>[]>[]>[]
40+
>f3 : any
41+
>f3 : any
4242

4343
var f3: any;
44-
>f3 : Foo<Foo<Foo<Foo<Foo<Foo<Foo<Foo<Foo<Foo<Foo<any>[]>[]>[]>[]>[]>[]>[]>[]>[]>[]>[]
44+
>f3 : any
4545

4646
// None of these declarations should have any errors!
4747
// Truly recursive types

‎tests/baselines/reference/spreadTypeVariable.types

+1-1
Original file line numberDiff line numberDiff line change
@@ -37,7 +37,7 @@ function f4<T extends number | { [key: string]: any }>(arg: T) {
3737
}
3838

3939
function f5<T extends string[] | { [key: string]: any }>(arg: T) {
40-
>f5 : <T extends { [key: string]: any; } | string[]>(arg: T) => T
40+
>f5 : <T extends string[] | { [key: string]: any; }>(arg: T) => T
4141
>key : string
4242
>arg : T
4343

0 commit comments

Comments
 (0)