Preserve instantiated substitution types for type variables

microsoft · Aug 22, 2022 · e73d268 · e73d268
1 parent a4a9ede
commit e73d268
Showing 1 changed file with 3 additions and 2 deletions.
diff --git a/src/compiler/checker.ts b/src/compiler/checker.ts
@@ -17418,9 +17418,10 @@ namespace ts {
                 // A substitution type originates in the true branch of a conditional type and can be resolved
                 // to just the base type in the same cases as the conditional type resolves to its true branch
                 // (because the base type is then known to satisfy the constraint).
-                if (newConstraint.flags & TypeFlags.AnyOrUnknown ||
+                if (!(newBaseType.flags & TypeFlags.TypeVariable) && (
+                    newConstraint.flags & TypeFlags.AnyOrUnknown ||
                     !isGenericType(newBaseType) && !isGenericType(newConstraint) ||
-                    isTypeAssignableTo(getRestrictiveInstantiation(newBaseType), getRestrictiveInstantiation(newConstraint))) {
+                    isTypeAssignableTo(getRestrictiveInstantiation(newBaseType), getRestrictiveInstantiation(newConstraint)))) {
                     return newBaseType;
                 }
                 return getSubstitutionType(newBaseType, newConstraint);