After https://github.com/python/mypy/pull/14922 is merged, I think we can also add a check that this source code has correct stubs: ```python class A: @final def method(self): ... ``` Right now stubs do not have to add `@final` decorator, `stubtest` will allow both versions.