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