Decorator to indicate final methods and final classes.
@typing.final
class Base:
@final
def done(self) -> None:
...
class Sub(Base):
def done(self) -> None: Error reported by type checker
...
@final
class Leaf:
...
class Other(Leaf): Error reported by type checker
...