wip

KotlinIsland · Dec 20, 2024 · 6423ef7 · 6423ef7
1 parent f21cd68
commit 6423ef7
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 0 deletions.
diff --git a/mypy/checkexpr.py b/mypy/checkexpr.py
@@ -1852,7 +1852,9 @@ def check_callable_call(
             need_refresh = any(
                 isinstance(v, (ParamSpecType, TypeVarTupleType)) for v in callee.variables
             )
+            # IT"S HERE!
             callee = freshen_function_type_vars(callee)
+            # IT"S HERE!
             callee = self.infer_function_type_arguments_using_context(callee, context)
             if need_refresh:
                 # Argument kinds etc. may have changed due to

diff --git a/mypy/types.py b/mypy/types.py
@@ -633,6 +633,7 @@ def __init__(
         column: int = -1,
         scopename: str | None = None,
     ) -> None:
+        print(f"{fullname} {id}")
         super().__init__(name, fullname, id, upper_bound, default, line, column)
         assert values is not None, "No restrictions must be represented by empty list"
         self.values = values