Slight adjustment to check in isConstraintPosition

ahejlsberg · ahejlsberg · commit cec8d529d207 · 2021-10-25T15:35:25.000-07:00
diff --git a/src/compiler/checker.ts b/src/compiler/checker.ts
@@ -24755,7 +24755,7 @@ namespace ts {
             return parent.kind === SyntaxKind.PropertyAccessExpression ||
                 parent.kind === SyntaxKind.CallExpression && (parent as CallExpression).expression === node ||
                 parent.kind === SyntaxKind.ElementAccessExpression && (parent as ElementAccessExpression).expression === node &&
-                    !(isGenericTypeWithoutNullableConstraint(type) && isGenericIndexType(getTypeOfExpression((parent as ElementAccessExpression).argumentExpression)));
+                    !(someType(type, isGenericTypeWithoutNullableConstraint) && isGenericIndexType(getTypeOfExpression((parent as ElementAccessExpression).argumentExpression)));
         }
 
         function isGenericTypeWithUnionConstraint(type: Type) {

Original file line number	Diff line number	Diff line change
`@@ -24755,7 +24755,7 @@ namespace ts {`
`24755`	`24755`	`return parent.kind === SyntaxKind.PropertyAccessExpression \|\|`
`24756`	`24756`	`parent.kind === SyntaxKind.CallExpression && (parent as CallExpression).expression === node \|\|`
`24757`	`24757`	`parent.kind === SyntaxKind.ElementAccessExpression && (parent as ElementAccessExpression).expression === node &&`
`24758`		`- !(isGenericTypeWithoutNullableConstraint(type) && isGenericIndexType(getTypeOfExpression((parent as ElementAccessExpression).argumentExpression)));`
	`24758`	`+ !(someType(type, isGenericTypeWithoutNullableConstraint) && isGenericIndexType(getTypeOfExpression((parent as ElementAccessExpression).argumentExpression)));`
`24759`	`24759`	`}`
`24760`	`24760`
`24761`	`24761`	`function isGenericTypeWithUnionConstraint(type: Type) {`