move the fix to inferReverseMappedTypeWorker

Andarist · Andarist · commit 6fd5860b0aea · 2025-11-05T18:58:22.000+01:00
diff --git a/src/compiler/checker.ts b/src/compiler/checker.ts
@@ -26421,7 +26421,7 @@ export function createTypeChecker(host: TypeCheckerHost): TypeChecker {
     function getTypeOfReverseMappedSymbol(symbol: ReverseMappedSymbol): Type {
         const links = getSymbolLinks(symbol);
         if (!links.type) {
-            links.type = getWidenedType(inferReverseMappedType(symbol.links.propertyType, symbol.links.mappedType, symbol.links.constraintType) || unknownType);
+            links.type = inferReverseMappedType(symbol.links.propertyType, symbol.links.mappedType, symbol.links.constraintType) || unknownType;
         }
         return links.type;
     }
@@ -26431,7 +26431,7 @@ export function createTypeChecker(host: TypeCheckerHost): TypeChecker {
         const templateType = getTemplateTypeFromMappedType(target);
         const inference = createInferenceInfo(typeParameter);
         inferTypes([inference], sourceType, templateType);
-        return getTypeFromInference(inference) || unknownType;
+        return getWidenedType(getTypeFromInference(inference) || unknownType);
     }
 
     function inferReverseMappedType(source: Type, target: MappedType, constraint: IndexType): Type | undefined {

Original file line number	Diff line number	Diff line change
`@@ -26421,7 +26421,7 @@ export function createTypeChecker(host: TypeCheckerHost): TypeChecker {`
`26421`	`26421`	`function getTypeOfReverseMappedSymbol(symbol: ReverseMappedSymbol): Type {`
`26422`	`26422`	`const links = getSymbolLinks(symbol);`
`26423`	`26423`	`if (!links.type) {`
`26424`		`- links.type = getWidenedType(inferReverseMappedType(symbol.links.propertyType, symbol.links.mappedType, symbol.links.constraintType) \|\| unknownType);`
	`26424`	`+ links.type = inferReverseMappedType(symbol.links.propertyType, symbol.links.mappedType, symbol.links.constraintType) \|\| unknownType;`
`26425`	`26425`	`}`
`26426`	`26426`	`return links.type;`
`26427`	`26427`	`}`
`@@ -26431,7 +26431,7 @@ export function createTypeChecker(host: TypeCheckerHost): TypeChecker {`
`26431`	`26431`	`const templateType = getTemplateTypeFromMappedType(target);`
`26432`	`26432`	`const inference = createInferenceInfo(typeParameter);`
`26433`	`26433`	`inferTypes([inference], sourceType, templateType);`
`26434`		`- return getTypeFromInference(inference) \|\| unknownType;`
	`26434`	`+ return getWidenedType(getTypeFromInference(inference) \|\| unknownType);`
`26435`	`26435`	`}`
`26436`	`26436`
`26437`	`26437`	`function inferReverseMappedType(source: Type, target: MappedType, constraint: IndexType): Type \| undefined {`