We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
1 parent 7b6a5d2 commit 88bf117Copy full SHA for 88bf117
1 file changed
conformance/tests/generics_scoping.py
@@ -16,8 +16,8 @@ def fun_2(x: T) -> T: # and here could be different
16
assert_type(fun_1(1), Literal[1]) # E[fun1-int]
17
18
# One of these two should pass; either is acceptable:
19
-assert_type(fun_1("a"), str) # E[fun1-str]
20
-assert_type(fun_1("a"), Literal["a"]) # E[fun1-str]
+assert_type(fun_2("a"), str) # E[fun1-str]
+assert_type(fun_2("a"), Literal["a"]) # E[fun1-str]
21
22
# > A type variable used in a method of a generic class that coincides
23
# > with one of the variables that parameterize this class is always bound
0 commit comments