`TypedMapping` for extended compatibility?

Hello,

Consider the following, where lock aims at making provided argument immutable.

@dataclass
class Works:
    foo: Mapping

    def lock(self) -> None:
        self.foo = MappingProxyType(self.foo)

It works great with mypy, no issue. Now imagine I want to enforce a bit more to foo by requesting it be compatible with a Movie. I would try the following, without success.

class Movie(TypedDict):
    author: str
    year: int

@dataclass
class Fails:
    foo: Movie

    def lock(self) -> None:
        self.foo = MappingProxyType(self.foo)  # error: Incompatible types in assignment (expression has type "MappingProxyType[str, object]", variable has type "Movie")  [assignment]

Is there an workaround? If not, is if a good idea to discuss the possibility of a TypedMapping, that would simply work as follow?

class Movie(TypedMapping):  # New feature ?
    author: str
    year: int

@dataclass
class Fixed:
    foo: Movie

    def lock(self) -> None:
        self.foo = MappingProxyType(self.foo)  # Would work

Thanks for your time.

All the best!
Élie.

Bắt đầu với các ví dụ về TypedDict, Mapping và MappingProxyType trong issue. Truy vết lỗi không tương thích khi gán đã được báo cáo và so sánh hành vi TypedMapping được yêu cầu với các quy tắc typing hiện có; được xem là hoàn thành khi đã ghi lại một workaround được hỗ trợ hoặc đưa ra một đề xuất tính năng có phạm vi rõ ràng.