False positive violation when overriding attributes using descriptors #18695

from __future__ import annotations

from abc import ABC, abstractmethod
from typing import overload, TypeVar

_T = TypeVar("_T")


class Value:
    pass


class ContainerBase(ABC):
    @property
    @abstractmethod
    def value(self) -> Value:
        pass


class ValueAttr:
    @overload
    def __get__(self: _T, instance: None, owner: type[object]) -> _T:
        pass

    @overload
    def __get__(self, instance: _T, owner: type[_T]) -> Value:
        pass

    def __get__(self: _T, instance: object | None, owner: type[object]) -> Value | _T:
        if instance is None:
            return self
        return Value()


class Container(ContainerBase):
    value = ValueAttr()
# mypy says about the line above:
# error: Incompatible types in assignment (expression has type "ValueAttr", base class "ContainerBase" defined the type as
# "Value")  [assignment]