Shared via mypy Playground

main.py

from typing import Protocol, final

@final
class Inter(Protocol):
    x: int
    
    def y(self) -> int:
        ...


class Implement:
    def __init__(self):
        self.x = 2

    def y(self) -> int:
        return self.x + 10


obj: Inter = Implement()