[question] proper type annotation for __dict__

[AMDmi3]

I'm wondering which is the correct way of annotating __dict__ property. Dict[str, Any] seem quite obvious and is used multiple times in typeshed, but:

from typing import Any, Dict

class Test:
    @property
    def __dict__(self) -> Dict[str, Any]:
        return {}

% mypy test.py 
test.py:5: error: Signature of "__dict__" incompatible with supertype "object"

[emmatyping]

This appears to be a duplicate of #5836. For example see this minimal repro:

class Test:
    a = ""  # type: str
    
class B(Test):
    @property
    def a(self) -> str:
        return ""

As a workaround in your case, you can likely do something like:

from typing import Dict, Any, TYPE_CHECKING

class Test:
    if TYPE_CHECKING:
        __dict__ = {}  # type: Dict[str, Any]
    else:
        @property
        def __dict__(self) -> Dict[str, Any]:
            return {}

and mypy should be happy.

[ghost]

#5836 was closed, but this still does not seem to be fixed in mypy 0.812 (Python 3.9.4). Am I missing something here?