Skip to content

Commit 5ba41e2

Browse files
TypeScript Botweswighamjakebailey
authored
🤖 Pick PR #59208 (Write non-missing undefined on mapp...) into release-5.5 (#59230)
Co-authored-by: Wesley Wigham <[email protected]> Co-authored-by: Jake Bailey <[email protected]>
1 parent b075332 commit 5ba41e2

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
@@ -6083,11 +6083,12 @@ export function createTypeChecker(host: TypeCheckerHost): TypeChecker {
60836083
) {
60846084
const originalType = type;
60856085
if (addUndefined) {
6086-
type = getOptionalType(type);
6086+
type = getOptionalType(type, !isParameter(host));
60876087
}
60886088
const clone = tryReuseExistingNonParameterTypeNode(context, typeNode, type, host);
60896089
if (clone) {
6090-
if (addUndefined && !someType(getTypeFromTypeNode(context, typeNode), t => !!(t.flags & TypeFlags.Undefined))) {
6090+
// explicitly add `| undefined` if it's missing from the input type nodes and the type contains `undefined` (and not the missing type)
6091+
if (addUndefined && containsNonMissingUndefinedType(type) && !someType(getTypeFromTypeNode(context, typeNode), t => !!(t.flags & TypeFlags.Undefined))) {
60916092
return factory.createUnionTypeNode([clone, factory.createKeywordTypeNode(SyntaxKind.UndefinedKeyword)]);
60926093
}
60936094
return clone;
@@ -8240,7 +8241,7 @@ export function createTypeChecker(host: TypeCheckerHost): TypeChecker {
82408241
* @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
82418242
*/
82428243
function serializeTypeForDeclaration(context: NodeBuilderContext, declaration: Declaration | undefined, type: Type, symbol: Symbol) {
8243-
const addUndefined = declaration && (isParameter(declaration) || isJSDocParameterTag(declaration)) && requiresAddingImplicitUndefined(declaration);
8244+
const addUndefinedForParameter = declaration && (isParameter(declaration) || isJSDocParameterTag(declaration)) && requiresAddingImplicitUndefined(declaration);
82448245
const enclosingDeclaration = context.enclosingDeclaration;
82458246
const oldFlags = context.flags;
82468247
if (declaration && hasInferredType(declaration) && !(context.flags & NodeBuilderFlags.NoSyntacticPrinter)) {
@@ -8254,6 +8255,8 @@ export function createTypeChecker(host: TypeCheckerHost): TypeChecker {
82548255
if (declWithExistingAnnotation && !isFunctionLikeDeclaration(declWithExistingAnnotation) && !isGetAccessorDeclaration(declWithExistingAnnotation)) {
82558256
// try to reuse the existing annotation
82568257
const existing = getNonlocalEffectiveTypeAnnotationNode(declWithExistingAnnotation)!;
8258+
// explicitly add `| undefined` to optional mapped properties whose type contains `undefined` (and not `missing`)
8259+
const addUndefined = addUndefinedForParameter || !!(symbol.flags & SymbolFlags.Property && symbol.flags & SymbolFlags.Optional && isOptionalDeclaration(declWithExistingAnnotation) && (symbol as MappedSymbol).links?.mappedType && containsNonMissingUndefinedType(type));
82578260
const result = !isTypePredicateNode(existing) && tryReuseExistingTypeNode(context, existing, type, declWithExistingAnnotation, addUndefined);
82588261
if (result) {
82598262
context.flags = oldFlags;
@@ -8271,7 +8274,7 @@ export function createTypeChecker(host: TypeCheckerHost): TypeChecker {
82718274
const decl = declaration ?? symbol.valueDeclaration ?? symbol.declarations?.[0];
82728275
const expr = decl && isDeclarationWithPossibleInnerTypeNodeReuse(decl) ? getPossibleTypeNodeReuseExpression(decl) : undefined;
82738276

8274-
const result = expressionOrTypeToTypeNode(context, expr, type, addUndefined);
8277+
const result = expressionOrTypeToTypeNode(context, expr, type, addUndefinedForParameter);
82758278
context.flags = oldFlags;
82768279
return result;
82778280
}
@@ -21395,6 +21398,11 @@ export function createTypeChecker(host: TypeCheckerHost): TypeChecker {
2139521398
return !!((type.flags & TypeFlags.Union ? (type as UnionType).types[0] : type).flags & TypeFlags.Undefined);
2139621399
}
2139721400

21401+
function containsNonMissingUndefinedType(type: Type) {
21402+
const candidate = type.flags & TypeFlags.Union ? (type as UnionType).types[0] : type;
21403+
return !!(candidate.flags & TypeFlags.Undefined) && candidate !== missingType;
21404+
}
21405+
2139821406
function isStringIndexSignatureOnlyType(type: Type): boolean {
2139921407
return type.flags & TypeFlags.Object && !isGenericMappedType(type) && getPropertiesOfType(type).length === 0 && getIndexInfosOfType(type).length === 1 && !!getIndexInfoOfType(type, stringType) ||
2140021408
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)