microsoft/TypeScript
1
0
Fork 0
mirror of https://github.com/microsoft/TypeScript.git synced 2026-03-02 23:26:03 -06:00
Code Issues Packages Projects Releases 212 Wiki Activity

Revert strict containment check in checkInferType

Browse Source
This commit is contained in:
Anders Hejlsberg 2018-03-21 13:22:58 -07:00
parent 09da98b185
commit a75449cabc
1 changed files with 1 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
src/compiler/checker.ts
View File

@ -20605,8 +20605,7 @@ namespace ts {
}
function checkInferType(node: InferTypeNode) {
const ancestor = findAncestor(node, n => n.parent && n.parent.kind === SyntaxKind.ConditionalType);
if (!ancestor || (<ConditionalTypeNode>ancestor.parent).extendsType !== ancestor) {
if (!findAncestor(node, n => n.parent && n.parent.kind === SyntaxKind.ConditionalType && (<ConditionalTypeNode>n.parent).extendsType === n)) {
grammarErrorOnNode(node, Diagnostics.infer_declarations_are_only_permitted_in_the_extends_clause_of_a_conditional_type);
}
checkSourceElement(node.typeParameter);