Analyzer: Implement new inference for function literals with voidy return type from context #42720
Description
Cf. the spec update in dart-lang/language#1092, https://dart-review.googlesource.com/c/sdk/+/154661 changes several language tests to match the new specified behavior, and they currently fail:
language/invalid_returns/async_invalid_return_05_test
language/invalid_returns/async_invalid_return_08_test
language/invalid_returns/async_invalid_return_11_test
language/invalid_returns/async_invalid_return_14_test
language/invalid_returns/async_invalid_return_17_test
language/invalid_returns/async_invalid_return_20_test
language/invalid_returns/async_invalid_return_52_test
language/invalid_returns/async_invalid_return_53_test
language/invalid_returns/async_invalid_return_54_test
language/invalid_returns/async_invalid_return_55_test
language/invalid_returns/async_invalid_return_56_test
language/invalid_returns/async_invalid_return_57_test
language/invalid_returns/async_invalid_return_58_test
language/invalid_returns/async_invalid_return_59_test
A related CL on the analyzer exists already: https://dart-review.googlesource.com/c/sdk/+/154620.