Resolve apparent mapped types recursively

Andarist · Andarist · commit 342f70040d9b · 2024-01-18T20:58:03.000+01:00
diff --git a/src/compiler/checker.ts b/src/compiler/checker.ts
@@ -14558,9 +14558,9 @@ export function createTypeChecker(host: TypeCheckerHost): TypeChecker {
                 constraint = getConstraintOfTypeParameter(typeVariable);
             }
             else {
-                const modifiersConstraint = getConstraintOfType(getModifiersTypeFromMappedType(type));
-                if (modifiersConstraint) {
-                    constraint = getApparentType(modifiersConstraint);
+                const modifiersType = getModifiersTypeFromMappedType(type);
+                if (modifiersType) {
+                    constraint = getApparentType(getConstraintOfType(modifiersType) || modifiersType);
                 }
             }
             if (constraint && everyType(constraint, isArrayOrTupleType)) {

Original file line number	Diff line number	Diff line change
`@@ -14558,9 +14558,9 @@ export function createTypeChecker(host: TypeCheckerHost): TypeChecker {`
`14558`	`14558`	`constraint = getConstraintOfTypeParameter(typeVariable);`
`14559`	`14559`	`}`
`14560`	`14560`	`else {`
`14561`		`- const modifiersConstraint = getConstraintOfType(getModifiersTypeFromMappedType(type));`
`14562`		`- if (modifiersConstraint) {`
`14563`		`- constraint = getApparentType(modifiersConstraint);`
	`14561`	`+ const modifiersType = getModifiersTypeFromMappedType(type);`
	`14562`	`+ if (modifiersType) {`
	`14563`	`+ constraint = getApparentType(getConstraintOfType(modifiersType) \|\| modifiersType);`
`14564`	`14564`	`}`
`14565`	`14565`	`}`
`14566`	`14566`	`if (constraint && everyType(constraint, isArrayOrTupleType)) {`