Skip to content

Don't eagerly get apparent type of spread expression contextual type #44002

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
merged 2 commits into from
May 7, 2021
Merged
Show file tree
Hide file tree
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
2 changes: 1 addition & 1 deletion src/compiler/checker.ts
Original file line number Diff line number Diff line change
Expand Up @@ -25536,7 +25536,7 @@ namespace ts {
case SyntaxKind.ShorthandPropertyAssignment:
return getContextualTypeForObjectLiteralElement(<PropertyAssignment | ShorthandPropertyAssignment>parent, contextFlags);
case SyntaxKind.SpreadAssignment:
return getApparentTypeOfContextualType(parent.parent as ObjectLiteralExpression, contextFlags);
return getContextualType(parent.parent as ObjectLiteralExpression, contextFlags);
case SyntaxKind.ArrayLiteralExpression: {
const arrayLiteral = <ArrayLiteralExpression>parent;
const type = getApparentTypeOfContextualType(arrayLiteral, contextFlags);
Expand Down
53 changes: 53 additions & 0 deletions tests/baselines/reference/spreadExpressionContextualType.js
Original file line number Diff line number Diff line change
@@ -0,0 +1,53 @@
//// [spreadExpressionContextualType.ts]
// Repro from #43966

interface Orange {
name: string;
}

interface Apple {
name: string;
}

function test<T extends Apple | Orange>(item: T): T {
return { ...item };
}

function test2<T extends Apple | Orange>(item: T): T {
const x = { ...item };
return x;
}


//// [spreadExpressionContextualType.js]
"use strict";
// Repro from #43966
var __assign = (this && this.__assign) || function () {
__assign = Object.assign || function(t) {
for (var s, i = 1, n = arguments.length; i < n; i++) {
s = arguments[i];
for (var p in s) if (Object.prototype.hasOwnProperty.call(s, p))
t[p] = s[p];
}
return t;
};
return __assign.apply(this, arguments);
};
function test(item) {
return __assign({}, item);
}
function test2(item) {
var x = __assign({}, item);
return x;
}


//// [spreadExpressionContextualType.d.ts]
interface Orange {
name: string;
}
interface Apple {
name: string;
}
declare function test<T extends Apple | Orange>(item: T): T;
declare function test2<T extends Apple | Orange>(item: T): T;
47 changes: 47 additions & 0 deletions tests/baselines/reference/spreadExpressionContextualType.symbols
Original file line number Diff line number Diff line change
@@ -0,0 +1,47 @@
=== tests/cases/compiler/spreadExpressionContextualType.ts ===
// Repro from #43966

interface Orange {
>Orange : Symbol(Orange, Decl(spreadExpressionContextualType.ts, 0, 0))

name: string;
>name : Symbol(Orange.name, Decl(spreadExpressionContextualType.ts, 2, 18))
}

interface Apple {
>Apple : Symbol(Apple, Decl(spreadExpressionContextualType.ts, 4, 1))

name: string;
>name : Symbol(Apple.name, Decl(spreadExpressionContextualType.ts, 6, 17))
}

function test<T extends Apple | Orange>(item: T): T {
>test : Symbol(test, Decl(spreadExpressionContextualType.ts, 8, 1))
>T : Symbol(T, Decl(spreadExpressionContextualType.ts, 10, 14))
>Apple : Symbol(Apple, Decl(spreadExpressionContextualType.ts, 4, 1))
>Orange : Symbol(Orange, Decl(spreadExpressionContextualType.ts, 0, 0))
>item : Symbol(item, Decl(spreadExpressionContextualType.ts, 10, 40))
>T : Symbol(T, Decl(spreadExpressionContextualType.ts, 10, 14))
>T : Symbol(T, Decl(spreadExpressionContextualType.ts, 10, 14))

return { ...item };
>item : Symbol(item, Decl(spreadExpressionContextualType.ts, 10, 40))
}

function test2<T extends Apple | Orange>(item: T): T {
>test2 : Symbol(test2, Decl(spreadExpressionContextualType.ts, 12, 1))
>T : Symbol(T, Decl(spreadExpressionContextualType.ts, 14, 15))
>Apple : Symbol(Apple, Decl(spreadExpressionContextualType.ts, 4, 1))
>Orange : Symbol(Orange, Decl(spreadExpressionContextualType.ts, 0, 0))
>item : Symbol(item, Decl(spreadExpressionContextualType.ts, 14, 41))
>T : Symbol(T, Decl(spreadExpressionContextualType.ts, 14, 15))
>T : Symbol(T, Decl(spreadExpressionContextualType.ts, 14, 15))

const x = { ...item };
>x : Symbol(x, Decl(spreadExpressionContextualType.ts, 15, 9))
>item : Symbol(item, Decl(spreadExpressionContextualType.ts, 14, 41))

return x;
>x : Symbol(x, Decl(spreadExpressionContextualType.ts, 15, 9))
}

35 changes: 35 additions & 0 deletions tests/baselines/reference/spreadExpressionContextualType.types
Original file line number Diff line number Diff line change
@@ -0,0 +1,35 @@
=== tests/cases/compiler/spreadExpressionContextualType.ts ===
// Repro from #43966

interface Orange {
name: string;
>name : string
}

interface Apple {
name: string;
>name : string
}

function test<T extends Apple | Orange>(item: T): T {
>test : <T extends Orange | Apple>(item: T) => T
>item : T

return { ...item };
>{ ...item } : T
>item : T
}

function test2<T extends Apple | Orange>(item: T): T {
>test2 : <T extends Orange | Apple>(item: T) => T
>item : T

const x = { ...item };
>x : T
>{ ...item } : T
>item : T

return x;
>x : T
}

21 changes: 21 additions & 0 deletions tests/cases/compiler/spreadExpressionContextualType.ts
Original file line number Diff line number Diff line change
@@ -0,0 +1,21 @@
// @strict: true
// @declaration: true

// Repro from #43966

interface Orange {
name: string;
}

interface Apple {
name: string;
}

function test<T extends Apple | Orange>(item: T): T {
return { ...item };
}

function test2<T extends Apple | Orange>(item: T): T {
const x = { ...item };
return x;
}