From ca2ea7aa60cef97dbcd392b1eed18ae601d55b06 Mon Sep 17 00:00:00 2001
From: Eric Traut <eric@traut.com>
Date: Fri, 8 Nov 2024 09:57:48 -0800
Subject: [PATCH] Fixed bug that results in a missing
 `reportUnknownArgumentType` error if the argument is an expression involving
 an `__init__` parameter in an unannotated (pseudo-generic) class.

---
 packages/pyright-internal/src/analyzer/typeEvaluator.ts | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/packages/pyright-internal/src/analyzer/typeEvaluator.ts b/packages/pyright-internal/src/analyzer/typeEvaluator.ts
index 5abcc2e11d67..bedfa2139fe4 100644
--- a/packages/pyright-internal/src/analyzer/typeEvaluator.ts
+++ b/packages/pyright-internal/src/analyzer/typeEvaluator.ts
@@ -12489,7 +12489,7 @@ export function createTypeEvaluator(
         }
 
         if (!options.skipUnknownArgCheck) {
-            const simplifiedType = removeUnbound(argType);
+            const simplifiedType = makeTopLevelTypeVarsConcrete(removeUnbound(argType));
             const fileInfo = AnalyzerNodeInfo.getFileInfo(argParam.errorNode);
 
             function getDiagAddendum() {