[feature request] option to assume None as return type

[beauxq]

Feature

an option to assume None as the return type if there is no return type annotation

(With this option, disallow-untyped-defs would only make sure all parameters are typed.)

Pitch

Putting -> None on every function that doesn't return a value adds a lot of clutter, but it's required in order to enforce that all the parameters are typed.

(And making sure all the parameters are typed is required to get all of the available static typing analysis benefits.)

[AlexWaygood]

Duplicate of #10149

[beauxq]

@AlexWaygood That is not at all the feature that I'm requesting.

I don't want it to infer anything.

I want it to always just assume None for the return type if there is no return type annotation.

This would still require the annotation for any other return type.

[AlexWaygood]

Okay, I suppose this functionality could be implemented behind a flag. Apologies for the misdiagnosis :)

I think it's highly unlikely that this functionality will be implemented, though, unless you'd like to submit a PR to make it happen (and even then, nothing's guaranteed; new flags generally aren't added lightly).

[pranavrajpal]

This looks like a duplicate of #9413.

[AlexWaygood]

This looks like a duplicate of #9413.

Yup. Thanks @pranavrajpal.