Skip to content

Commit ed17a89

Browse files
weswighamweswigham
authored
Write non-missing undefined on mapped type results into output (#59208)
1 parent 2fd707d commit ed17a89

13 files changed

+370
-26
lines changed

‎src/compiler/checker.ts

Lines changed: 12 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -6113,11 +6113,12 @@ export function createTypeChecker(host: TypeCheckerHost): TypeChecker {
61136113
) {
61146114
const originalType = type;
61156115
if (addUndefined) {
6116-
type = getOptionalType(type);
6116+
type = getOptionalType(type, !isParameter(host));
61176117
}
61186118
const clone = tryReuseExistingNonParameterTypeNode(context, typeNode, type, host);
61196119
if (clone) {
6120-
if (addUndefined && !someType(getTypeFromTypeNode(context, typeNode), t => !!(t.flags & TypeFlags.Undefined))) {
6120+
// explicitly add `| undefined` if it's missing from the input type nodes and the type contains `undefined` (and not the missing type)
6121+
if (addUndefined && containsNonMissingUndefinedType(type) && !someType(getTypeFromTypeNode(context, typeNode), t => !!(t.flags & TypeFlags.Undefined))) {
61216122
return factory.createUnionTypeNode([clone, factory.createKeywordTypeNode(SyntaxKind.UndefinedKeyword)]);
61226123
}
61236124
return clone;
@@ -8252,7 +8253,7 @@ export function createTypeChecker(host: TypeCheckerHost): TypeChecker {
82528253
* @param symbol - The symbol is used both to find an existing annotation if declaration is not provided, and to determine if `unique symbol` should be printed
82538254
*/
82548255
function serializeTypeForDeclaration(context: NodeBuilderContext, declaration: Declaration | undefined, type: Type, symbol: Symbol) {
8255-
const addUndefined = declaration && (isParameter(declaration) || isJSDocParameterTag(declaration)) && requiresAddingImplicitUndefined(declaration);
8256+
const addUndefinedForParameter = declaration && (isParameter(declaration) || isJSDocParameterTag(declaration)) && requiresAddingImplicitUndefined(declaration);
82568257
const enclosingDeclaration = context.enclosingDeclaration;
82578258
const oldFlags = context.flags;
82588259
if (declaration && hasInferredType(declaration) && !(context.flags & NodeBuilderFlags.NoSyntacticPrinter)) {
@@ -8266,6 +8267,8 @@ export function createTypeChecker(host: TypeCheckerHost): TypeChecker {
82668267
if (declWithExistingAnnotation && !isFunctionLikeDeclaration(declWithExistingAnnotation) && !isGetAccessorDeclaration(declWithExistingAnnotation)) {
82678268
// try to reuse the existing annotation
82688269
const existing = getNonlocalEffectiveTypeAnnotationNode(declWithExistingAnnotation)!;
8270+
// explicitly add `| undefined` to optional mapped properties whose type contains `undefined` (and not `missing`)
8271+
const addUndefined = addUndefinedForParameter || !!(symbol.flags & SymbolFlags.Property && symbol.flags & SymbolFlags.Optional && isOptionalDeclaration(declWithExistingAnnotation) && (symbol as MappedSymbol).links?.mappedType && containsNonMissingUndefinedType(type));
82698272
const result = !isTypePredicateNode(existing) && tryReuseExistingTypeNode(context, existing, type, declWithExistingAnnotation, addUndefined);
82708273
if (result) {
82718274
context.flags = oldFlags;
@@ -8283,7 +8286,7 @@ export function createTypeChecker(host: TypeCheckerHost): TypeChecker {
82838286
const decl = declaration ?? symbol.valueDeclaration ?? symbol.declarations?.[0];
82848287
const expr = decl && isDeclarationWithPossibleInnerTypeNodeReuse(decl) ? getPossibleTypeNodeReuseExpression(decl) : undefined;
82858288

8286-
const result = expressionOrTypeToTypeNode(context, expr, type, addUndefined);
8289+
const result = expressionOrTypeToTypeNode(context, expr, type, addUndefinedForParameter);
82878290
context.flags = oldFlags;
82888291
return result;
82898292
}
@@ -21425,6 +21428,11 @@ export function createTypeChecker(host: TypeCheckerHost): TypeChecker {
2142521428
return !!((type.flags & TypeFlags.Union ? (type as UnionType).types[0] : type).flags & TypeFlags.Undefined);
2142621429
}
2142721430

21431+
function containsNonMissingUndefinedType(type: Type) {
21432+
const candidate = type.flags & TypeFlags.Union ? (type as UnionType).types[0] : type;
21433+
return !!(candidate.flags & TypeFlags.Undefined) && candidate !== missingType;
21434+
}
21435+
2142821436
function isStringIndexSignatureOnlyType(type: Type): boolean {
2142921437
return type.flags & TypeFlags.Object && !isGenericMappedType(type) && getPropertiesOfType(type).length === 0 && getIndexInfosOfType(type).length === 1 && !!getIndexInfoOfType(type, stringType) ||
2143021438
type.flags & TypeFlags.UnionOrIntersection && every((type as UnionOrIntersectionType).types, isStringIndexSignatureOnlyType) ||

‎tests/baselines/reference/declarationEmitExactOptionalPropertyTypesNodeNotReused(exactoptionalpropertytypes=false).js

Lines changed: 39 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,39 @@
1+
//// [tests/cases/compiler/declarationEmitExactOptionalPropertyTypesNodeNotReused.ts] ////
2+
3+
//// [declarationEmitExactOptionalPropertyTypesNodeNotReused.ts]
4+
type InexactOptionals<A> = {
5+
[K in keyof A as undefined extends A[K] ? K : never]?: undefined extends A[K]
6+
? A[K] | undefined
7+
: A[K];
8+
} & {
9+
[K in keyof A as undefined extends A[K] ? never : K]: A[K];
10+
};
11+
12+
type In = {
13+
foo?: string;
14+
bar: number;
15+
baz: undefined;
16+
}
17+
18+
type Out = InexactOptionals<In>
19+
20+
const foo = <A = {}>() => (x: Out & A) => null
21+
22+
export const baddts = foo()
23+
24+
25+
//// [declarationEmitExactOptionalPropertyTypesNodeNotReused.js]
26+
"use strict";
27+
Object.defineProperty(exports, "__esModule", { value: true });
28+
exports.baddts = void 0;
29+
var foo = function () { return function (x) { return null; }; };
30+
exports.baddts = foo();
31+
32+
33+
//// [declarationEmitExactOptionalPropertyTypesNodeNotReused.d.ts]
34+
export declare const baddts: (x: {
35+
foo?: string | undefined;
36+
baz?: undefined;
37+
} & {
38+
bar: number;
39+
}) => null;

‎tests/baselines/reference/declarationEmitExactOptionalPropertyTypesNodeNotReused(exactoptionalpropertytypes=false).symbols

Lines changed: 65 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,65 @@
1+
//// [tests/cases/compiler/declarationEmitExactOptionalPropertyTypesNodeNotReused.ts] ////
2+
3+
=== declarationEmitExactOptionalPropertyTypesNodeNotReused.ts ===
4+
type InexactOptionals<A> = {
5+
>InexactOptionals : Symbol(InexactOptionals, Decl(declarationEmitExactOptionalPropertyTypesNodeNotReused.ts, 0, 0))
6+
>A : Symbol(A, Decl(declarationEmitExactOptionalPropertyTypesNodeNotReused.ts, 0, 22))
7+
8+
[K in keyof A as undefined extends A[K] ? K : never]?: undefined extends A[K]
9+
>K : Symbol(K, Decl(declarationEmitExactOptionalPropertyTypesNodeNotReused.ts, 1, 5))
10+
>A : Symbol(A, Decl(declarationEmitExactOptionalPropertyTypesNodeNotReused.ts, 0, 22))
11+
>A : Symbol(A, Decl(declarationEmitExactOptionalPropertyTypesNodeNotReused.ts, 0, 22))
12+
>K : Symbol(K, Decl(declarationEmitExactOptionalPropertyTypesNodeNotReused.ts, 1, 5))
13+
>K : Symbol(K, Decl(declarationEmitExactOptionalPropertyTypesNodeNotReused.ts, 1, 5))
14+
>A : Symbol(A, Decl(declarationEmitExactOptionalPropertyTypesNodeNotReused.ts, 0, 22))
15+
>K : Symbol(K, Decl(declarationEmitExactOptionalPropertyTypesNodeNotReused.ts, 1, 5))
16+
17+
? A[K] | undefined
18+
>A : Symbol(A, Decl(declarationEmitExactOptionalPropertyTypesNodeNotReused.ts, 0, 22))
19+
>K : Symbol(K, Decl(declarationEmitExactOptionalPropertyTypesNodeNotReused.ts, 1, 5))
20+
21+
: A[K];
22+
>A : Symbol(A, Decl(declarationEmitExactOptionalPropertyTypesNodeNotReused.ts, 0, 22))
23+
>K : Symbol(K, Decl(declarationEmitExactOptionalPropertyTypesNodeNotReused.ts, 1, 5))
24+
25+
} & {
26+
[K in keyof A as undefined extends A[K] ? never : K]: A[K];
27+
>K : Symbol(K, Decl(declarationEmitExactOptionalPropertyTypesNodeNotReused.ts, 5, 5))
28+
>A : Symbol(A, Decl(declarationEmitExactOptionalPropertyTypesNodeNotReused.ts, 0, 22))
29+
>A : Symbol(A, Decl(declarationEmitExactOptionalPropertyTypesNodeNotReused.ts, 0, 22))
30+
>K : Symbol(K, Decl(declarationEmitExactOptionalPropertyTypesNodeNotReused.ts, 5, 5))
31+
>K : Symbol(K, Decl(declarationEmitExactOptionalPropertyTypesNodeNotReused.ts, 5, 5))
32+
>A : Symbol(A, Decl(declarationEmitExactOptionalPropertyTypesNodeNotReused.ts, 0, 22))
33+
>K : Symbol(K, Decl(declarationEmitExactOptionalPropertyTypesNodeNotReused.ts, 5, 5))
34+
35+
};
36+
37+
type In = {
38+
>In : Symbol(In, Decl(declarationEmitExactOptionalPropertyTypesNodeNotReused.ts, 6, 2))
39+
40+
foo?: string;
41+
>foo : Symbol(foo, Decl(declarationEmitExactOptionalPropertyTypesNodeNotReused.ts, 8, 11))
42+
43+
bar: number;
44+
>bar : Symbol(bar, Decl(declarationEmitExactOptionalPropertyTypesNodeNotReused.ts, 9, 17))
45+
46+
baz: undefined;
47+
>baz : Symbol(baz, Decl(declarationEmitExactOptionalPropertyTypesNodeNotReused.ts, 10, 16))
48+
}
49+
50+
type Out = InexactOptionals<In>
51+
>Out : Symbol(Out, Decl(declarationEmitExactOptionalPropertyTypesNodeNotReused.ts, 12, 1))
52+
>InexactOptionals : Symbol(InexactOptionals, Decl(declarationEmitExactOptionalPropertyTypesNodeNotReused.ts, 0, 0))
53+
>In : Symbol(In, Decl(declarationEmitExactOptionalPropertyTypesNodeNotReused.ts, 6, 2))
54+
55+
const foo = <A = {}>() => (x: Out & A) => null
56+
>foo : Symbol(foo, Decl(declarationEmitExactOptionalPropertyTypesNodeNotReused.ts, 16, 5))
57+
>A : Symbol(A, Decl(declarationEmitExactOptionalPropertyTypesNodeNotReused.ts, 16, 13))
58+
>x : Symbol(x, Decl(declarationEmitExactOptionalPropertyTypesNodeNotReused.ts, 16, 27))
59+
>Out : Symbol(Out, Decl(declarationEmitExactOptionalPropertyTypesNodeNotReused.ts, 12, 1))
60+
>A : Symbol(A, Decl(declarationEmitExactOptionalPropertyTypesNodeNotReused.ts, 16, 13))
61+
62+
export const baddts = foo()
63+
>baddts : Symbol(baddts, Decl(declarationEmitExactOptionalPropertyTypesNodeNotReused.ts, 18, 12))
64+
>foo : Symbol(foo, Decl(declarationEmitExactOptionalPropertyTypesNodeNotReused.ts, 16, 5))
65+

‎tests/baselines/reference/declarationEmitExactOptionalPropertyTypesNodeNotReused(exactoptionalpropertytypes=false).types

Lines changed: 53 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,53 @@
1+
//// [tests/cases/compiler/declarationEmitExactOptionalPropertyTypesNodeNotReused.ts] ////
2+
3+
=== declarationEmitExactOptionalPropertyTypesNodeNotReused.ts ===
4+
type InexactOptionals<A> = {
5+
>InexactOptionals : InexactOptionals<A>
6+
> : ^^^^^^^^^^^^^^^^^^^
7+
8+
[K in keyof A as undefined extends A[K] ? K : never]?: undefined extends A[K]
9+
? A[K] | undefined
10+
: A[K];
11+
} & {
12+
[K in keyof A as undefined extends A[K] ? never : K]: A[K];
13+
};
14+
15+
type In = {
16+
>In : In
17+
> : ^^
18+
19+
foo?: string;
20+
>foo : string | undefined
21+
> : ^^^^^^^^^^^^^^^^^^
22+
23+
bar: number;
24+
>bar : number
25+
> : ^^^^^^
26+
27+
baz: undefined;
28+
>baz : undefined
29+
> : ^^^^^^^^^
30+
}
31+
32+
type Out = InexactOptionals<In>
33+
>Out : Out
34+
> : ^^^
35+
36+
const foo = <A = {}>() => (x: Out & A) => null
37+
>foo : <A = {}>() => (x: Out & A) => null
38+
> : ^ ^^^^^^^^^^^^^ ^^ ^^^^^^^^^
39+
><A = {}>() => (x: Out & A) => null : <A = {}>() => (x: Out & A) => null
40+
> : ^ ^^^^^^^^^^^^^ ^^ ^^^^^^^^^
41+
>(x: Out & A) => null : (x: Out & A) => null
42+
> : ^ ^^ ^^^^^^^^^
43+
>x : { foo?: string | undefined; baz?: undefined; } & { bar: number; } & A
44+
> : ^^^^^^^^ ^^^^^^^^^^^^^^^^^^^^ ^^^^^^^^^^^^^ ^^^^^^^
45+
46+
export const baddts = foo()
47+
>baddts : (x: { foo?: string | undefined; baz?: undefined; } & { bar: number; }) => null
48+
> : ^ ^^^^^^^^^^ ^^^^^^^^^^^^^^^^^^^^ ^^^^^^^^^^^^^ ^^^^^^^^^^^^
49+
>foo() : (x: { foo?: string | undefined; baz?: undefined; } & { bar: number; }) => null
50+
> : ^ ^^^^^^^^^^ ^^^^^^^^^^^^^^^^^^^^ ^^^^^^^^^^^^^ ^^^^^^^^^^^^
51+
>foo : <A = {}>() => (x: Out & A) => null
52+
> : ^ ^^^^^^^^^^^^^ ^^ ^^^^^^^^^
53+

‎tests/baselines/reference/declarationEmitExactOptionalPropertyTypesNodeNotReused(exactoptionalpropertytypes=true).js

Lines changed: 39 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,39 @@
1+
//// [tests/cases/compiler/declarationEmitExactOptionalPropertyTypesNodeNotReused.ts] ////
2+
3+
//// [declarationEmitExactOptionalPropertyTypesNodeNotReused.ts]
4+
type InexactOptionals<A> = {
5+
[K in keyof A as undefined extends A[K] ? K : never]?: undefined extends A[K]
6+
? A[K] | undefined
7+
: A[K];
8+
} & {
9+
[K in keyof A as undefined extends A[K] ? never : K]: A[K];
10+
};
11+
12+
type In = {
13+
foo?: string;
14+
bar: number;
15+
baz: undefined;
16+
}
17+
18+
type Out = InexactOptionals<In>
19+
20+
const foo = <A = {}>() => (x: Out & A) => null
21+
22+
export const baddts = foo()
23+
24+
25+
//// [declarationEmitExactOptionalPropertyTypesNodeNotReused.js]
26+
"use strict";
27+
Object.defineProperty(exports, "__esModule", { value: true });
28+
exports.baddts = void 0;
29+
var foo = function () { return function (x) { return null; }; };
30+
exports.baddts = foo();
31+
32+
33+
//// [declarationEmitExactOptionalPropertyTypesNodeNotReused.d.ts]
34+
export declare const baddts: (x: {
35+
foo?: string | undefined;
36+
baz?: undefined;
37+
} & {
38+
bar: number;
39+
}) => null;

‎tests/baselines/reference/declarationEmitExactOptionalPropertyTypesNodeNotReused(exactoptionalpropertytypes=true).symbols

Lines changed: 65 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,65 @@
1+
//// [tests/cases/compiler/declarationEmitExactOptionalPropertyTypesNodeNotReused.ts] ////
2+
3+
=== declarationEmitExactOptionalPropertyTypesNodeNotReused.ts ===
4+
type InexactOptionals<A> = {
5+
>InexactOptionals : Symbol(InexactOptionals, Decl(declarationEmitExactOptionalPropertyTypesNodeNotReused.ts, 0, 0))
6+
>A : Symbol(A, Decl(declarationEmitExactOptionalPropertyTypesNodeNotReused.ts, 0, 22))
7+
8+
[K in keyof A as undefined extends A[K] ? K : never]?: undefined extends A[K]
9+
>K : Symbol(K, Decl(declarationEmitExactOptionalPropertyTypesNodeNotReused.ts, 1, 5))
10+
>A : Symbol(A, Decl(declarationEmitExactOptionalPropertyTypesNodeNotReused.ts, 0, 22))
11+
>A : Symbol(A, Decl(declarationEmitExactOptionalPropertyTypesNodeNotReused.ts, 0, 22))
12+
>K : Symbol(K, Decl(declarationEmitExactOptionalPropertyTypesNodeNotReused.ts, 1, 5))
13+
>K : Symbol(K, Decl(declarationEmitExactOptionalPropertyTypesNodeNotReused.ts, 1, 5))
14+
>A : Symbol(A, Decl(declarationEmitExactOptionalPropertyTypesNodeNotReused.ts, 0, 22))
15+
>K : Symbol(K, Decl(declarationEmitExactOptionalPropertyTypesNodeNotReused.ts, 1, 5))
16+
17+
? A[K] | undefined
18+
>A : Symbol(A, Decl(declarationEmitExactOptionalPropertyTypesNodeNotReused.ts, 0, 22))
19+
>K : Symbol(K, Decl(declarationEmitExactOptionalPropertyTypesNodeNotReused.ts, 1, 5))
20+
21+
: A[K];
22+
>A : Symbol(A, Decl(declarationEmitExactOptionalPropertyTypesNodeNotReused.ts, 0, 22))
23+
>K : Symbol(K, Decl(declarationEmitExactOptionalPropertyTypesNodeNotReused.ts, 1, 5))
24+
25+
} & {
26+
[K in keyof A as undefined extends A[K] ? never : K]: A[K];
27+
>K : Symbol(K, Decl(declarationEmitExactOptionalPropertyTypesNodeNotReused.ts, 5, 5))
28+
>A : Symbol(A, Decl(declarationEmitExactOptionalPropertyTypesNodeNotReused.ts, 0, 22))
29+
>A : Symbol(A, Decl(declarationEmitExactOptionalPropertyTypesNodeNotReused.ts, 0, 22))
30+
>K : Symbol(K, Decl(declarationEmitExactOptionalPropertyTypesNodeNotReused.ts, 5, 5))
31+
>K : Symbol(K, Decl(declarationEmitExactOptionalPropertyTypesNodeNotReused.ts, 5, 5))
32+
>A : Symbol(A, Decl(declarationEmitExactOptionalPropertyTypesNodeNotReused.ts, 0, 22))
33+
>K : Symbol(K, Decl(declarationEmitExactOptionalPropertyTypesNodeNotReused.ts, 5, 5))
34+
35+
};
36+
37+
type In = {
38+
>In : Symbol(In, Decl(declarationEmitExactOptionalPropertyTypesNodeNotReused.ts, 6, 2))
39+
40+
foo?: string;
41+
>foo : Symbol(foo, Decl(declarationEmitExactOptionalPropertyTypesNodeNotReused.ts, 8, 11))
42+
43+
bar: number;
44+
>bar : Symbol(bar, Decl(declarationEmitExactOptionalPropertyTypesNodeNotReused.ts, 9, 17))
45+
46+
baz: undefined;
47+
>baz : Symbol(baz, Decl(declarationEmitExactOptionalPropertyTypesNodeNotReused.ts, 10, 16))
48+
}
49+
50+
type Out = InexactOptionals<In>
51+
>Out : Symbol(Out, Decl(declarationEmitExactOptionalPropertyTypesNodeNotReused.ts, 12, 1))
52+
>InexactOptionals : Symbol(InexactOptionals, Decl(declarationEmitExactOptionalPropertyTypesNodeNotReused.ts, 0, 0))
53+
>In : Symbol(In, Decl(declarationEmitExactOptionalPropertyTypesNodeNotReused.ts, 6, 2))
54+
55+
const foo = <A = {}>() => (x: Out & A) => null
56+
>foo : Symbol(foo, Decl(declarationEmitExactOptionalPropertyTypesNodeNotReused.ts, 16, 5))
57+
>A : Symbol(A, Decl(declarationEmitExactOptionalPropertyTypesNodeNotReused.ts, 16, 13))
58+
>x : Symbol(x, Decl(declarationEmitExactOptionalPropertyTypesNodeNotReused.ts, 16, 27))
59+
>Out : Symbol(Out, Decl(declarationEmitExactOptionalPropertyTypesNodeNotReused.ts, 12, 1))
60+
>A : Symbol(A, Decl(declarationEmitExactOptionalPropertyTypesNodeNotReused.ts, 16, 13))
61+
62+
export const baddts = foo()
63+
>baddts : Symbol(baddts, Decl(declarationEmitExactOptionalPropertyTypesNodeNotReused.ts, 18, 12))
64+
>foo : Symbol(foo, Decl(declarationEmitExactOptionalPropertyTypesNodeNotReused.ts, 16, 5))
65+

‎tests/baselines/reference/declarationEmitExactOptionalPropertyTypesNodeNotReused(exactoptionalpropertytypes=true).types

Lines changed: 53 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,53 @@
1+
//// [tests/cases/compiler/declarationEmitExactOptionalPropertyTypesNodeNotReused.ts] ////
2+
3+
=== declarationEmitExactOptionalPropertyTypesNodeNotReused.ts ===
4+
type InexactOptionals<A> = {
5+
>InexactOptionals : InexactOptionals<A>
6+
> : ^^^^^^^^^^^^^^^^^^^
7+
8+
[K in keyof A as undefined extends A[K] ? K : never]?: undefined extends A[K]
9+
? A[K] | undefined
10+
: A[K];
11+
} & {
12+
[K in keyof A as undefined extends A[K] ? never : K]: A[K];
13+
};
14+
15+
type In = {
16+
>In : In
17+
> : ^^
18+
19+
foo?: string;
20+
>foo : string | undefined
21+
> : ^^^^^^^^^^^^^^^^^^
22+
23+
bar: number;
24+
>bar : number
25+
> : ^^^^^^
26+
27+
baz: undefined;
28+
>baz : undefined
29+
> : ^^^^^^^^^
30+
}
31+
32+
type Out = InexactOptionals<In>
33+
>Out : Out
34+
> : ^^^
35+
36+
const foo = <A = {}>() => (x: Out & A) => null
37+
>foo : <A = {}>() => (x: Out & A) => null
38+
> : ^ ^^^^^^^^^^^^^ ^^ ^^^^^^^^^
39+
><A = {}>() => (x: Out & A) => null : <A = {}>() => (x: Out & A) => null
40+
> : ^ ^^^^^^^^^^^^^ ^^ ^^^^^^^^^
41+
>(x: Out & A) => null : (x: Out & A) => null
42+
> : ^ ^^ ^^^^^^^^^
43+
>x : { foo?: string | undefined; baz?: undefined; } & { bar: number; } & A
44+
> : ^^^^^^^^ ^^^^^^^^^^^^^^^^^^^^ ^^^^^^^^^^^^^ ^^^^^^^
45+
46+
export const baddts = foo()
47+
>baddts : (x: { foo?: string | undefined; baz?: undefined; } & { bar: number; }) => null
48+
> : ^ ^^^^^^^^^^ ^^^^^^^^^^^^^^^^^^^^ ^^^^^^^^^^^^^ ^^^^^^^^^^^^
49+
>foo() : (x: { foo?: string | undefined; baz?: undefined; } & { bar: number; }) => null
50+
> : ^ ^^^^^^^^^^ ^^^^^^^^^^^^^^^^^^^^ ^^^^^^^^^^^^^ ^^^^^^^^^^^^
51+
>foo : <A = {}>() => (x: Out & A) => null
52+
> : ^ ^^^^^^^^^^^^^ ^^ ^^^^^^^^^
53+

0 commit comments

Comments
 (0)