Lambda with void return value rejected

[JukkaL]

Code like this is rejected, because the lambda has None as the inferred return type:

import typing
x = lambda: print(1) # type: typing.Function[[], None]

The type checker should accept lambdas that don't return a value. Any type for the lambda body should be accepted in this case.