path: root/puzzles/typing_protocol_missing_member.py

from typing import Protocol

class P(Protocol):
    x: int

class B(P):  # error
    pass