python typing final

1from typing import final
2
3
4class Base:
5    @final
6    def done(self) -> None:
7        pass
8
9class Sub(Base):
10    def done(self) -> None:  # Error reported by type checker
11          pass
12
13@final
14class Leaf:
15    pass
16
17class Other(Leaf):  # Error reported by type checker
18    pass
19