change condition for indexes gathering

Andarist · Andarist · commit a554bbfa39f2 · 2025-12-02T11:58:14.000+01:00
diff --git a/src/compiler/checker.ts b/src/compiler/checker.ts
@@ -26902,7 +26902,7 @@ export function createTypeChecker(host: TypeCheckerHost): TypeChecker {
                     if (getObjectFlags(source) & ObjectFlags.NonInferrableType || source === nonInferrableAnyType) {
                         return;
                     }
-                    if (!inference.isFixed) {
+                    if (!hasInferenceCandidates(inference)) {
                         const partialInferenceTypeSymbol = getGlobalPartialInferenceSymbol();
                         if (partialInferenceTypeSymbol) {
                             if ((target as IndexedAccessType).indexType.flags & TypeFlags.Instantiable) {

Original file line number	Diff line number	Diff line change
`@@ -26902,7 +26902,7 @@ export function createTypeChecker(host: TypeCheckerHost): TypeChecker {`
`26902`	`26902`	`if (getObjectFlags(source) & ObjectFlags.NonInferrableType \|\| source === nonInferrableAnyType) {`
`26903`	`26903`	`return;`
`26904`	`26904`	`}`
`26905`		`- if (!inference.isFixed) {`
	`26905`	`+ if (!hasInferenceCandidates(inference)) {`
`26906`	`26906`	`const partialInferenceTypeSymbol = getGlobalPartialInferenceSymbol();`
`26907`	`26907`	`if (partialInferenceTypeSymbol) {`
`26908`	`26908`	`if ((target as IndexedAccessType).indexType.flags & TypeFlags.Instantiable) {`