def foo()
Inferred type: () -> None

Doc of foo.
It has two lines.