Consider allowing `@final` methods in Protocols

Feature

Allow this:

from typing import Protocol, final

class Sized(Protocol):
    len: int
    @final
    def __len__(self) -> int:
        return self.len

Pitch

I get that this is a bit unusual, but I don’t really see any harm that could come from this (as an aside, pyright allows it). My use case is that I’m using Protocols for mixins, and sometimes I want to make sure my mixed-in methods don’t get overwritten.

Beginne mit dem gemeldeten Python-Beispiel und vergleiche die aktuelle Behandlung durch mypy mit pyright, von dem der Issue sagt, dass es dies zulässt. Verfolge anschließend die bestehenden Validierungspfade für Protocol und @final und füge Tests hinzu, die zeigen, dass eine finale Methode in einem Protocol akzeptiert wird und weiterhin vor Überschreibungen geschützt bleibt.