Fixed an issue with constraint of an infer type parameter not being fully instantiatable

Author: Andarist

src/compiler/checker.ts

@@ -17789,7 +17789,7 @@ export function createTypeChecker(host: TypeCheckerHost): TypeChecker {
 
     function maybeCloneTypeParameter(p: TypeParameter) {
         const constraint = getConstraintOfTypeParameter(p);
-        return constraint && (isGenericObjectType(constraint) || isGenericIndexType(constraint)) ? cloneTypeParameter(p) : p;
+        return constraint && couldContainTypeVariables(constraint) ? cloneTypeParameter(p) : p;
     }
 
     function isSimpleTupleType(node: TypeNode) {

tests/baselines/reference/inferTypesWithExtendsDependingOnTypeVariables.symbols

@@ -0,0 +1,17 @@
+=== tests/cases/conformance/types/conditional/inferTypesWithExtendsDependingOnTypeVariables.ts ===
+// repro from https://github.com/microsoft/TypeScript/issues/54197
+
+type Bar<K, T extends readonly unknown[]> = T extends readonly [any, ...infer X extends readonly K[]] ? X : never;
+>Bar : Symbol(Bar, Decl(inferTypesWithExtendsDependingOnTypeVariables.ts, 0, 0))
+>K : Symbol(K, Decl(inferTypesWithExtendsDependingOnTypeVariables.ts, 2, 9))
+>T : Symbol(T, Decl(inferTypesWithExtendsDependingOnTypeVariables.ts, 2, 11))
+>T : Symbol(T, Decl(inferTypesWithExtendsDependingOnTypeVariables.ts, 2, 11))
+>X : Symbol(X, Decl(inferTypesWithExtendsDependingOnTypeVariables.ts, 2, 77))
+>K : Symbol(K, Decl(inferTypesWithExtendsDependingOnTypeVariables.ts, 2, 9))
+>X : Symbol(X, Decl(inferTypesWithExtendsDependingOnTypeVariables.ts, 2, 77))
+
+type Res1 = Bar<"a" | "b", ["a", "b", "b"]> 
+>Res1 : Symbol(Res1, Decl(inferTypesWithExtendsDependingOnTypeVariables.ts, 2, 114))
+>Bar : Symbol(Bar, Decl(inferTypesWithExtendsDependingOnTypeVariables.ts, 0, 0))
+
+

tests/baselines/reference/inferTypesWithExtendsDependingOnTypeVariables.types

@@ -0,0 +1,10 @@
+=== tests/cases/conformance/types/conditional/inferTypesWithExtendsDependingOnTypeVariables.ts ===
+// repro from https://github.com/microsoft/TypeScript/issues/54197
+
+type Bar<K, T extends readonly unknown[]> = T extends readonly [any, ...infer X extends readonly K[]] ? X : never;
+>Bar : Bar<K, T>
+
+type Res1 = Bar<"a" | "b", ["a", "b", "b"]> 
+>Res1 : ["b", "b"]
+
+

tests/cases/conformance/types/conditional/inferTypesWithExtendsDependingOnTypeVariables.ts

@@ -0,0 +1,8 @@
+// @strict: true
+// @noEmit: true
+
+// repro from https://github.com/microsoft/TypeScript/issues/54197
+
+type Bar<K, T extends readonly unknown[]> = T extends readonly [any, ...infer X extends readonly K[]] ? X : never;
+type Res1 = Bar<"a" | "b", ["a", "b", "b"]> 
+