After#14922 is merged, I think we can also add a check that this source code has correct stubs:

classA:@finaldefmethod(self): ...

Right now stubs do not have to add@final decorator,stubtest will allow both versions.