final TypedDict with total=False does not allow clear/popitem

Bug Report

PEP-589 disallows clear and popitem on TypedDicts, even if all known keys are not required, as there may be other required keys due to structural subtyping. However, a @final-decorated TypedDict cannot be structurally subtyped, so these methods should be available.

To Reproduce

https://mypy-play.net/?mypy=latest&python=3.11&gist=7d42af8206cb1e25a53673bdf4e99df1

from typing import TypedDict, final

@final
class A(TypedDict, total=False):
    k: int

a: A = {"k": 1}
a.clear()

Expected Behavior

No errors

Actual Behavior

error: "A" has no attribute "clear"  [attr-defined]

Your Environment

• Mypy version used: 1.0.0
• Python version used: 3.11

Inizia con la riproduzione collegata di mypy-play usando Python 3.11 e mypy 1.0.0, quindi esamina come il type checker gestisce clear e popitem su un TypedDict final con total=False. Il lavoro è completato quando l’esempio non produce errori e le restrizioni esistenti per i TypedDict strutturalmente subtypeable rimangono intatte.