@@ -798,7 +798,7 @@ function registerFuncSignatureParams(path) {
798
798
var funcNode = path . node ;
799
799
var funcSignature = typeSignatures . get ( funcNode ) ;
800
800
801
- for ( let [ paramIdx , param ] of funcNode . params . entries ( ) ) {
801
+ for ( let [ paramIdx , param , ] of funcNode . params . entries ( ) ) {
802
802
let paramType = nodeTypes . get ( param ) ;
803
803
if ( paramType ) {
804
804
// don't save a ...rest element into the signature,
@@ -994,7 +994,7 @@ function handleBinarySelection(exprNode,leftNode,rightNode) {
994
994
}
995
995
996
996
function handleBinaryPlus ( exprNode ) {
997
- var [ leftType , rightType ] = binaryExpressionTypes ( exprNode ) ;
997
+ var [ leftType , rightType , ] = binaryExpressionTypes ( exprNode ) ;
998
998
var leftTypeID = getTypeID ( leftType ) ;
999
999
var rightTypeID = getTypeID ( rightType ) ;
1000
1000
@@ -1064,7 +1064,7 @@ function handleUnaryNumeric(op,exprNode) {
1064
1064
}
1065
1065
1066
1066
function handleBinaryNumeric ( op , exprNode ) {
1067
- var [ leftType , rightType ] = binaryExpressionTypes ( exprNode ) ;
1067
+ var [ leftType , rightType , ] = binaryExpressionTypes ( exprNode ) ;
1068
1068
1069
1069
var leftTypeID = getTypeID ( leftType ) ;
1070
1070
var rightTypeID = getTypeID ( rightType ) ;
@@ -1170,7 +1170,7 @@ function handleBinaryNumeric(op,exprNode) {
1170
1170
}
1171
1171
1172
1172
function handleBinaryRelativeComparison ( op , exprNode ) {
1173
- var [ leftType , rightType ] = binaryExpressionTypes ( exprNode ) ;
1173
+ var [ leftType , rightType , ] = binaryExpressionTypes ( exprNode ) ;
1174
1174
var leftTypeID = getTypeID ( leftType ) ;
1175
1175
var rightTypeID = getTypeID ( rightType ) ;
1176
1176
var validIDs = [ "string" , "number" , "finite" , "int" , "bint" , ] ;
@@ -1228,7 +1228,7 @@ function handleBinaryRelativeComparison(op,exprNode) {
1228
1228
}
1229
1229
1230
1230
function handleEquality ( op , exprNode ) {
1231
- var [ leftType , rightType ] = binaryExpressionTypes ( exprNode ) ;
1231
+ var [ leftType , rightType , ] = binaryExpressionTypes ( exprNode ) ;
1232
1232
var leftTypeID = getTypeID ( leftType ) ;
1233
1233
var rightTypeID = getTypeID ( rightType ) ;
1234
1234
@@ -1412,15 +1412,15 @@ function handleAssignmentExpressionType(scope,exprNode,targetNode,sourceNode,isA
1412
1412
if ( exprNode ) {
1413
1413
let sourceType = nodeTypes . get ( sourceNode ) ;
1414
1414
if ( sourceType ) {
1415
- markNodeType ( exprNode , { ...sourceType } ) ;
1415
+ markNodeType ( exprNode , { ...sourceType , } ) ;
1416
1416
}
1417
1417
else {
1418
1418
markNodeType ( exprNode , { inferred : "array" , } ) ;
1419
1419
}
1420
1420
}
1421
1421
1422
1422
if ( T . isArrayExpression ( sourceNode ) ) {
1423
- for ( let [ idx , targetElem ] of targetNode . elements . entries ( ) ) {
1423
+ for ( let [ idx , targetElem , ] of targetNode . elements . entries ( ) ) {
1424
1424
// target is identifier with a default = value assignment?
1425
1425
if ( T . isAssignmentPattern ( targetElem ) ) {
1426
1426
targetElem = targetElem . left ;
@@ -1437,15 +1437,15 @@ function handleAssignmentExpressionType(scope,exprNode,targetNode,sourceNode,isA
1437
1437
if ( exprNode ) {
1438
1438
let sourceType = nodeTypes . get ( sourceNode ) ;
1439
1439
if ( sourceType ) {
1440
- markNodeType ( exprNode , { ...sourceType } ) ;
1440
+ markNodeType ( exprNode , { ...sourceType , } ) ;
1441
1441
}
1442
1442
else {
1443
1443
markNodeType ( exprNode , { inferred : "object" , } ) ;
1444
1444
}
1445
1445
}
1446
1446
1447
1447
if ( T . isObjectExpression ( sourceNode ) ) {
1448
- for ( let [ idx , targetProp ] of targetNode . properties . entries ( ) ) {
1448
+ for ( let [ idx , targetProp , ] of targetNode . properties . entries ( ) ) {
1449
1449
let targetPropName = targetProp . key . name ;
1450
1450
targetProp = targetProp . value ;
1451
1451
@@ -1608,7 +1608,7 @@ function handleCallExpression(scope,callExprNode,isSelfRecursivePTC = false) {
1608
1608
let funcNodePath = signatureNodePaths . get ( funcSignature ) ;
1609
1609
let funcNodeScope = funcNodePath ? funcNodePath . scope : undefined ;
1610
1610
let funcNode = funcNodePath ? funcNodePath . node : undefined ;
1611
- for ( let [ argIdx , argType ] of callExpressionArgumentTypes . entries ( ) ) {
1611
+ for ( let [ argIdx , argType , ] of callExpressionArgumentTypes . entries ( ) ) {
1612
1612
// did we hit a spread argument?
1613
1613
if ( T . isSpreadElement ( callExprNode . arguments [ argIdx ] ) ) {
1614
1614
// stop comparing arguments/params because of spread
@@ -1812,7 +1812,7 @@ function signaturesMatch(signature1,signature2) {
1812
1812
return false ;
1813
1813
}
1814
1814
1815
- for ( let [ idx , paramType1 ] of signature1 . params . entries ( ) ) {
1815
+ for ( let [ idx , paramType1 , ] of signature1 . params . entries ( ) ) {
1816
1816
let paramType2 = signature2 . params [ idx ] ;
1817
1817
1818
1818
if ( getTypeID ( paramType1 ) != getTypeID ( paramType2 ) ) {
@@ -1862,16 +1862,16 @@ function isAssignmentAllowed(sourceType,targetType) {
1862
1862
number : [ "number" , "int" , "finite" , ] ,
1863
1863
finite : [ "finite" , "int" , ] ,
1864
1864
bint : [ "bint" , "int" , ] ,
1865
- string : [ "string" , ]
1866
- }
1865
+ string : [ "string" , ] ,
1866
+ } ;
1867
1867
1868
- let sourceTypeID = getTypeID ( sourceType )
1869
- let targetTypeID = getTypeID ( targetType )
1868
+ let sourceTypeID = getTypeID ( sourceType ) ;
1869
+ let targetTypeID = getTypeID ( targetType ) ;
1870
1870
1871
1871
return (
1872
1872
matches [ targetTypeID ] &&
1873
1873
matches [ targetTypeID ] . includes ( sourceTypeID )
1874
- )
1874
+ ) ;
1875
1875
}
1876
1876
1877
1877
function isNumberOrSubtype ( type ) {
@@ -1952,7 +1952,7 @@ function check(code, options = {}) {
1952
1952
...prevMsgs ,
1953
1953
...(
1954
1954
outputMessages . length > 0 ?
1955
- [ { type : "info" , text : `(pass ${ passCount } ) ------------------------` , } ] :
1955
+ [ { type : "info" , text : `(pass ${ passCount } ) ------------------------` , } , ] :
1956
1956
[ ]
1957
1957
) ,
1958
1958
...outputMessages ,
0 commit comments