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