@zzzen/pyright-internal 1.2.0-dev.20251130 → 1.2.0-dev.20251221

package/dist/analyzer/typeEvaluator.js

@@ -8774,10 +8774,22 @@ function createTypeEvaluator(importLookup, evaluatorOptions, wrapWithLogger) {
         const matchResults = matchArgsToParams(errorNode, argList, typeResult, 0);
         if (matchResults.argumentErrors) {
             // Evaluate types of all args. This will ensure that referenced symbols are
-            // not reported as unaccessed.
+            // not reported as unaccessed. Also pass the expected parameter type as
+            // inference context to enable proper completions even when there are errors.
+            matchResults.argParams.forEach((argParam) => {
+                if (argParam.argument.valueExpression && !isSpeculativeModeInUse(argParam.argument.valueExpression)) {
+                    getTypeOfExpression(argParam.argument.valueExpression, 
+                    /* flags */ undefined, (0, typeUtils_1.makeInferenceContext)(argParam.paramType));
+                }
+            });
+            // Also evaluate any arguments that weren't matched to parameters
             argList.forEach((arg) => {
                 if (arg.valueExpression && !isSpeculativeModeInUse(arg.valueExpression)) {
-                    getTypeOfExpression(arg.valueExpression);
+                    // Check if this argument was already evaluated above
+                    const wasEvaluated = matchResults.argParams.some((argParam) => argParam.argument === arg);
+                    if (!wasEvaluated) {
+                        getTypeOfExpression(arg.valueExpression);
+                    }
                 }
             });
             // Use a return type of Unknown but attach a "possible type" to it
@@ -8966,7 +8978,7 @@ function createTypeEvaluator(importLookup, evaluatorOptions, wrapWithLogger) {
                 argType = argParam.argType;
             }
             else {
-                const argTypeResult = getTypeOfArg(argParam.argument, /* inferenceContext */ undefined);
+                const argTypeResult = getTypeOfArg(argParam.argument, (0, typeUtils_1.makeInferenceContext)(argParam.paramType, isTypeIncomplete));
                 argType = argTypeResult.type;
                 if (argTypeResult.isIncomplete) {
                     isTypeIncomplete = true;