Skip to content

Commit 52a96ac

Browse files
Always check type assertion types.
1 parent f786c5c commit 52a96ac

File tree

1 file changed

+3
-1
lines changed

1 file changed

+3
-1
lines changed

src/compiler/checker.ts

Lines changed: 3 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -5027,7 +5027,6 @@ namespace ts {
50275027
function getTypeFromTupleTypeNode(node: TupleTypeNode): Type {
50285028
const links = getNodeLinks(node);
50295029
if (!links.resolvedType) {
5030-
checkTupleType(node);
50315030
links.resolvedType = createTupleType(map(node.elementTypes, getTypeFromTypeNode));
50325031
}
50335032
return links.resolvedType;
@@ -11521,7 +11520,10 @@ namespace ts {
1152111520

1152211521
function checkAssertion(node: AssertionExpression) {
1152311522
const exprType = getRegularTypeOfObjectLiteral(checkExpression(node.expression));
11523+
11524+
checkSourceElement(node.type);
1152411525
const targetType = getTypeFromTypeNode(node.type);
11526+
1152511527
if (produceDiagnostics && targetType !== unknownType) {
1152611528
const widenedType = getWidenedType(exprType);
1152711529
if (!isTypeComparableTo(targetType, widenedType)) {

0 commit comments

Comments
 (0)