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