Pyright infers return types for me correctly in most cases, while mypy couldn't even property infer the return type of void functions (you have to specify `-> N

Pyright infers return types for me correctly in most cases, while mypy couldn't even property infer the return type of void functions (you have to specify `-> None` explicitly).