This doesn't generate an error, though it's clearly invalid:
This generates an error:
It looks like type checking errors are reported within a lambda but semantic analysis errors are lost.
This is not a regression -- this bug has been around for a long time.