class Parent(Generic[_T]):
    def __init__(self, null: _T) -> None: ...
    @overload
    def __get__(self: Parent[Literal[False]], instance, owner) -> int: ...
    @overload
    def __get__(self: Parent[Literal[True]], instance, owner) -> int | None: ...

class Child1(Parent[_T]): ...

class Model:
    child1 = Child1(null=False)
    child1a = Child1(null=True)

reveal_type(Child1(null=False).__get__(None, None)) # Revealed type is "builtins.int"
reveal_type(Child1(null=True).__get__(None, None)) # Revealed type is "Union[builtins.int, None]"
reveal_type(Model().child1) # Revealed type is "builtins.int"
reveal_type(Model().child1a) # Revealed type is "builtins.int" <- INCORRECT

class Child2(Parent[_T]):
    @overload
    def __get__(self: Child2[Literal[False]], instance, owner) -> int: ...
    @overload
    def __get__(self: Child2[Literal[True]], instance, owner) -> int | None: ...

class Model:
    child2 = Child2(null=False)
    child2a = Child2(null=True)

reveal_type(Child2(null=False).__get__(None, None)) # Revealed type is "builtins.int"
reveal_type(Child2(null=True).__get__(None, None)) # Revealed type is "Union[builtins.int, None]"
reveal_type(Model().child2) # Revealed type is "builtins.int"
reveal_type(Model().child2a) # Revealed type is "Union[builtins.int, None]" <- CORRECT