René's URL Explorer Experiment

{"@context":"https://schema.org","@type":"DiscussionForumPosting","headline":"Example in PEP 544 seems to be wrong","articleBody":"I am on Python 3.8 and use MyPy 0.740\r\n\r\nI consider the following example from PEP 544:\r\n\r\n```python\r\nfrom typing import Any, Protocol\r\n\r\nclass ProtoA(Protocol):\r\n    def meth(self, x: int) -\u003e int: ...\r\nclass ProtoB(Protocol):\r\n    def meth(self, obj: Any, x: int) -\u003e int: ...\r\n\r\nclass C:\r\n    def meth(self, x: int) -\u003e int: ...\r\n\r\na: ProtoA = C  # Type check error, signatures don't match!\r\nb: ProtoB = C  # OK\r\n```\r\n\r\nIn the final two lines a class is assigned to a instance. MyPy thus reports\r\n\r\n    /tmp/protocol-test.py:19: error: Incompatible types in assignment (expression has type \"Type[C]\", variable has type \"ProtoA\")\r\n    /tmp/protocol-test.py:20: error: Incompatible types in assignment (expression has type \"Type[C]\", variable has type \"ProtoB\")\r\n    Found 2 errors in 1 file (checked 1 source file)\r\n\r\nIf I fix that (i.e. adding the missing '()'), than it seems as if the assignment to `b` should cause a type error, not the assignment to `a`. Mypy`s report is consistent to my presumption.\r\n\r\nI hope it is ok to ask this, since I am here anyways: What is the difference between `...` and `pass`? RTFM with link would be fine.","author":{"url":"https://github.com/MaxG87","@type":"Person","name":"MaxG87"},"datePublished":"2019-11-11T10:13:55.000Z","interactionStatistic":{"@type":"InteractionCounter","interactionType":"https://schema.org/CommentAction","userInteractionCount":3},"url":"https://github.com/1231/peps/issues/1231"}