mypy

6cbdab83 - Stubtest: more helpful errors if a function is missing from stub (#16517)