from __future__  import annotations

class A[T]:
    def __init__(self, value: T) -> None:
        self.t: T = value
    def f[Expected](self) -> A[Expected | T]:
        return 

_: A[object] = A(1).f()  # no error, great

b = A(1).f()
b  # A[int | Unknown]