Repository navigation
Regression: inferred type too wide when using type variable bound #16331
Description
The type revealed when type checking the above fragment changed as a side effect of #16184, and this looks like a regression:
from typing import TypeVar
T = TypeVar("T", bound="Base")
class Base:
def __abs__(self: T) -> T:
return type(self)()
class C(Base):
pass
def f(values: list[T]) -> T:
return values[0]
def g() -> None:
x = abs(f([C()]))
reveal_type(x) # "Base", but expected "C" <<------cc @ilevkivskyi
Activity
ilevkivskyi commentedon Oct 27, 2023
Inner vs outer context was always a bit arbitrary, but indeed, the new behavior is inconsistent, #16344 should restore the consistency.
Use upper bound as inference fallback more consistently (#16344)