Skip to content
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

Move check for TSTypeCastExpression to catch another case #12161

Merged
merged 1 commit into from Oct 11, 2020
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.
Jump to
Jump to file
Failed to load files.
Diff view
Diff view
35 changes: 21 additions & 14 deletions packages/babel-parser/src/plugins/typescript/index.js
Expand Up @@ -1803,6 +1803,27 @@ export default (superClass: Class<Parser>): Class<Parser> =>
}
}

parseExprListItem(
allowEmpty: ?boolean,
refExpressionErrors?: ?ExpressionErrors,
refNeedsArrowPos: ?Pos,
allowPlaceholder: ?boolean,
): ?N.Expression {
const node = super.parseExprListItem(
allowEmpty,
refExpressionErrors,
refNeedsArrowPos,
allowPlaceholder,
);

// Handle `func(a: T)` or `func<T>(a: T)`
if (!refNeedsArrowPos && node?.type === "TSTypeCastExpression") {
this.raise(node.start, TSErrors.UnexpectedTypeAnnotation);
}

return node;
}

parseSubscript(
base: N.Expression,
startPos: number,
Expand Down Expand Up @@ -2725,20 +2746,6 @@ export default (superClass: Class<Parser>): Class<Parser> =>
return node.expression;
}

toReferencedList(
exprList: $ReadOnlyArray<?N.Expression>,
isInParens?: boolean, // eslint-disable-line no-unused-vars
): $ReadOnlyArray<?N.Expression> {
for (let i = 0; i < exprList.length; i++) {
const expr = exprList[i];
if (expr?.type === "TSTypeCastExpression") {
this.raise(expr.start, TSErrors.UnexpectedTypeAnnotation);
}
}

return exprList;
}

shouldParseArrow() {
return this.match(tt.colon) || super.shouldParseArrow();
}
Expand Down
@@ -1 +1,2 @@
func(a: T);
func<T>(a: T);
@@ -1,12 +1,13 @@
{
"type": "File",
"start":0,"end":11,"loc":{"start":{"line":1,"column":0},"end":{"line":1,"column":11}},
"start":0,"end":26,"loc":{"start":{"line":1,"column":0},"end":{"line":2,"column":14}},
"errors": [
"SyntaxError: Did not expect a type annotation here. (1:5)"
"SyntaxError: Did not expect a type annotation here. (1:5)",
"SyntaxError: Did not expect a type annotation here. (2:8)"
],
"program": {
"type": "Program",
"start":0,"end":11,"loc":{"start":{"line":1,"column":0},"end":{"line":1,"column":11}},
"start":0,"end":26,"loc":{"start":{"line":1,"column":0},"end":{"line":2,"column":14}},
"sourceType": "module",
"interpreter": null,
"body": [
Expand Down Expand Up @@ -46,6 +47,58 @@
}
]
}
},
{
"type": "ExpressionStatement",
"start":12,"end":26,"loc":{"start":{"line":2,"column":0},"end":{"line":2,"column":14}},
"expression": {
"type": "CallExpression",
"start":12,"end":25,"loc":{"start":{"line":2,"column":0},"end":{"line":2,"column":13}},
"callee": {
"type": "Identifier",
"start":12,"end":16,"loc":{"start":{"line":2,"column":0},"end":{"line":2,"column":4},"identifierName":"func"},
"name": "func"
},
"arguments": [
{
"type": "TSTypeCastExpression",
"start":20,"end":24,"loc":{"start":{"line":2,"column":8},"end":{"line":2,"column":12}},
"expression": {
"type": "Identifier",
"start":20,"end":21,"loc":{"start":{"line":2,"column":8},"end":{"line":2,"column":9},"identifierName":"a"},
"name": "a"
},
"typeAnnotation": {
"type": "TSTypeAnnotation",
"start":21,"end":24,"loc":{"start":{"line":2,"column":9},"end":{"line":2,"column":12}},
"typeAnnotation": {
"type": "TSTypeReference",
"start":23,"end":24,"loc":{"start":{"line":2,"column":11},"end":{"line":2,"column":12}},
"typeName": {
"type": "Identifier",
"start":23,"end":24,"loc":{"start":{"line":2,"column":11},"end":{"line":2,"column":12},"identifierName":"T"},
"name": "T"
}
}
}
}
],
"typeParameters": {
"type": "TSTypeParameterInstantiation",
"start":16,"end":19,"loc":{"start":{"line":2,"column":4},"end":{"line":2,"column":7}},
"params": [
{
"type": "TSTypeReference",
"start":17,"end":18,"loc":{"start":{"line":2,"column":5},"end":{"line":2,"column":6}},
"typeName": {
"type": "Identifier",
"start":17,"end":18,"loc":{"start":{"line":2,"column":5},"end":{"line":2,"column":6},"identifierName":"T"},
"name": "T"
}
}
]
}
}
}
],
"directives": []
Expand Down