Shared via mypy Playground

main.py

from typing import Generic, TypeVar

T = TypeVar("T")
class Foo(Generic[T]): 
    def __init__(self, t: T):
        self.t = t
    
    def print(self, t: T): 
        print(t, self.t)

class Foo2(Foo[T]): 
    def print(self, t: T):
        if t == self.t: 
            print("equal")
        else: 
            Foo.print(self, t)

check_equal: bool = ...
printer = Foo2 if check_equal else Foo
reveal_type(printer)  # def [T] (t: T`1) -> __main__.Foo[T`1]

a = printer(3)

a.print(...)