Invalid protocol definitions and usages

Reports invalid definitions and usages of protocols introduced in PEP-544.

Example:

from typing import Protocol


class MyProtocol(Protocol):
    def method(self, p: int) -> str:
        pass


class MyClass(MyProtocol):
    def method(self, p: str) -> int: # Type of 'method' is not compatible with 'MyProtocol'
        pass


class MyAnotherProtocol(MyClass, Protocol): # All bases of a protocol must be protocols
    pass

Inspection Details
Available in:	DataSpell 2023.3, PyCharm 2023.3
Plugin:	Python Community Edition, 233.SNAPSHOT

Last modified: 13 July 2023