@@ -25446,7 +25446,7 @@ export function createTypeChecker(host: TypeCheckerHost): TypeChecker {
2544625446 arraysEqual((source as TemplateLiteralType).texts, target.texts) ? map((source as TemplateLiteralType).types, (s, i) => {
2544725447 return isTypeAssignableTo(getBaseConstraintOrType(s), getBaseConstraintOrType(target.types[i])) ? s : getStringLikeTypeForType(s);
2544825448 }) :
25449- inferFromLiteralPartsToTemplateLiteral((source as TemplateLiteralType).texts, (source as TemplateLiteralType).types, target) :
25449+ inferFromLiteralPartsToTemplateLiteral((source as TemplateLiteralType).texts, (source as TemplateLiteralType).types, target) :
2545025450 undefined;
2545125451 }
2545225452
@@ -26061,15 +26061,15 @@ export function createTypeChecker(host: TypeCheckerHost): TypeChecker {
2606126061 if (source.flags & TypeFlags.StringLiteral && target.flags & TypeFlags.TypeVariable) {
2606226062 const inferenceContext = getInferenceInfoForType(target);
2606326063 // andarist here???
26064- // declare function foo1<V extends string>(arg: `*${V}*`): V;
26065- // declare const n: number
26066- // let x5 = foo1(`*${n}*` as const);
26064+ // declare function foo1<V extends string>(arg: `*${V}*`): V;
26065+ // declare const n: number
26066+ // let x5 = foo1(`*${n}*` as const);
2606726067
26068- // type Foo1<T> = T extends `*${infer U}*` ? U : never;
26068+ // type Foo1<T> = T extends `*${infer U}*` ? U : never;
2606926069
26070- // type T05 = Foo1<`*${number}*`>;
26070+ // type T05 = Foo1<`*${number}*`>;
2607126071
26072- // type T06 = Foo1<`*${bigint}*`>;
26072+ // type T06 = Foo1<`*${bigint}*`>;
2607326073 const constraint = inferenceContext ? getBaseConstraintOfType(inferenceContext.typeParameter) : undefined;
2607426074 if (constraint && !isTypeAny(constraint)) {
2607526075 const constraintTypes = constraint.flags & TypeFlags.Union ? (constraint as UnionType).types : [constraint];
0 commit comments