tweak the widening moment again

Author: Andarist

src/compiler/checker.ts

@@ -36225,9 +36225,9 @@ export function createTypeChecker(host: TypeCheckerHost): TypeChecker {
             if (!getEffectiveTypeAnnotationNode(declaration)) {
                 let type = tryGetTypeAtPosition(context, i);
                 if (type && declaration.initializer) {
-                    const initializerType = checkDeclarationInitializer(declaration, CheckMode.Normal);
-                    if (!isTypeAssignableTo(initializerType, type) && isTypeAssignableTo(type, initializerType)) {
-                        type = widenTypeInferredFromInitializer(declaration, initializerType);
+                    let initializerType = checkDeclarationInitializer(declaration, CheckMode.Normal);
+                    if (!isTypeAssignableTo(initializerType, type) && isTypeAssignableTo(type, initializerType = widenTypeInferredFromInitializer(declaration, initializerType))) {
+                        type = initializerType;
                     }
                 }
                 assignParameterType(parameter, type);

tests/baselines/reference/contextuallyTypedParametersWithInitializers4.symbols

@@ -0,0 +1,38 @@
+//// [tests/cases/compiler/contextuallyTypedParametersWithInitializers4.ts] ////
+
+=== contextuallyTypedParametersWithInitializers4.ts ===
+declare function test<
+>test : Symbol(test, Decl(contextuallyTypedParametersWithInitializers4.ts, 0, 0))
+
+  TContext,
+>TContext : Symbol(TContext, Decl(contextuallyTypedParametersWithInitializers4.ts, 0, 22))
+
+  TMethods extends Record<string, (ctx: TContext, ...args: (1 | 2)[]) => unknown>,
+>TMethods : Symbol(TMethods, Decl(contextuallyTypedParametersWithInitializers4.ts, 1, 11))
+>Record : Symbol(Record, Decl(lib.es5.d.ts, --, --))
+>ctx : Symbol(ctx, Decl(contextuallyTypedParametersWithInitializers4.ts, 2, 35))
+>TContext : Symbol(TContext, Decl(contextuallyTypedParametersWithInitializers4.ts, 0, 22))
+>args : Symbol(args, Decl(contextuallyTypedParametersWithInitializers4.ts, 2, 49))
+
+>(context: TContext, methods: TMethods): void;
+>context : Symbol(context, Decl(contextuallyTypedParametersWithInitializers4.ts, 3, 2))
+>TContext : Symbol(TContext, Decl(contextuallyTypedParametersWithInitializers4.ts, 0, 22))
+>methods : Symbol(methods, Decl(contextuallyTypedParametersWithInitializers4.ts, 3, 20))
+>TMethods : Symbol(TMethods, Decl(contextuallyTypedParametersWithInitializers4.ts, 1, 11))
+
+test(
+>test : Symbol(test, Decl(contextuallyTypedParametersWithInitializers4.ts, 0, 0))
+  {
+    count: 0,
+>count : Symbol(count, Decl(contextuallyTypedParametersWithInitializers4.ts, 6, 3))
+
+  },
+  {
+    checkLimit: (ctx, max = 3) => {},
+>checkLimit : Symbol(checkLimit, Decl(contextuallyTypedParametersWithInitializers4.ts, 9, 3))
+>ctx : Symbol(ctx, Decl(contextuallyTypedParametersWithInitializers4.ts, 10, 17))
+>max : Symbol(max, Decl(contextuallyTypedParametersWithInitializers4.ts, 10, 21))
+
+  },
+);
+

tests/baselines/reference/contextuallyTypedParametersWithInitializers4.types

@@ -0,0 +1,39 @@
+//// [tests/cases/compiler/contextuallyTypedParametersWithInitializers4.ts] ////
+
+=== contextuallyTypedParametersWithInitializers4.ts ===
+declare function test<
+>test : <TContext, TMethods extends Record<string, (ctx: TContext, ...args: (1 | 2)[]) => unknown>>(context: TContext, methods: TMethods) => void
+
+  TContext,
+  TMethods extends Record<string, (ctx: TContext, ...args: (1 | 2)[]) => unknown>,
+>ctx : TContext
+>args : (1 | 2)[]
+
+>(context: TContext, methods: TMethods): void;
+>context : TContext
+>methods : TMethods
+
+test(
+>test(  {    count: 0,  },  {    checkLimit: (ctx, max = 3) => {},  },) : void
+>test : <TContext, TMethods extends Record<string, (ctx: TContext, ...args: (1 | 2)[]) => unknown>>(context: TContext, methods: TMethods) => void
+  {
+>{    count: 0,  } : { count: number; }
+
+    count: 0,
+>count : number
+>0 : 0
+
+  },
+  {
+>{    checkLimit: (ctx, max = 3) => {},  } : { checkLimit: (ctx: { count: number; }, max?: number) => void; }
+
+    checkLimit: (ctx, max = 3) => {},
+>checkLimit : (ctx: { count: number; }, max?: number) => void
+>(ctx, max = 3) => {} : (ctx: { count: number; }, max?: number) => void
+>ctx : { count: number; }
+>max : number
+>3 : 3
+
+  },
+);
+

tests/cases/compiler/contextuallyTypedParametersWithInitializers4.ts

@@ -0,0 +1,16 @@
+// @strict: true
+// @noEmit: true
+
+declare function test<
+  TContext,
+  TMethods extends Record<string, (ctx: TContext, ...args: (1 | 2)[]) => unknown>,
+>(context: TContext, methods: TMethods): void;
+
+test(
+  {
+    count: 0,
+  },
+  {
+    checkLimit: (ctx, max = 3) => {},
+  },
+);