Infer return None in stubgen

[czhang03]

Is it possible that when a function don't have any return statement, mypy can infer that the return type is None?

Both Pycharm and Typescript has this feature.

[gvanrossum]

No, mypy's position is that the body must conform to the signature, not the other way around.

This would be a good feature for stubgen though.