mypy

080bb0e0 - stubtest: error if a class should be decorated with @final (#12091)