We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent eb70fa7 commit ac46c84Copy full SHA for ac46c84
test-data/unit/check-literal.test
@@ -2989,9 +2989,9 @@ def g(a: T, t: A[T]) -> T: ...
2989
2990
def check(obj: A[Literal[1]]) -> None:
2991
reveal_type(f(obj, 1)) # N: Revealed type is "Literal[1]"
2992
- reveal_type(f(obj, '')) # E: Cannot infer type argument 1 of "f" \
+ reveal_type(f(obj, '')) # E: Cannot infer type argument to type parameter "T" of "f" \
2993
# N: Revealed type is "Any"
2994
reveal_type(g(1, obj)) # N: Revealed type is "Literal[1]"
2995
- reveal_type(g('', obj)) # E: Cannot infer type argument 1 of "g" \
+ reveal_type(g('', obj)) # E: Cannot infer type argument to type parameter "T" of "g" \
2996
2997
[builtins fixtures/tuple.pyi]
0 commit comments