Decide on the type annotation for non return functions

[hackaugusto]

The definitions bellow are equivalent:

def a() -> None:
    pass


def b():
    pass

We need to pick one to keep the style consistent.

[hackaugusto]

vote

def a() -> None:
    pass

[hackaugusto]

vote

def b():
    pass

[palango]

I think I was partly wrong in saying that -> None is inferred. Especially when running mypy with the --disallow-untyped-defs it complains when functions do not have that annotation.

[LefterisJP]

--disallow-untyped-defs it complains when functions do not have that annotation.

Well this argument explicitly asks all function defs to be typed ;)

[palango]

Yes, but I always assumed that no return type annotation implies -> None.

[ulope]

No, no annotation implies -> Any.
The only exception are __init__ methods with parameters that are annotated, those automatically default to -> None (long issue discussion about that 'feature')