Regression: inferred type too wide when using type variable bound

[JukkaL]

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

[ilevkivskyi]

Inner vs outer context was always a bit arbitrary, but indeed, the new behavior is inconsistent, #16344 should restore the consistency.