Consider changing method type inference to infer from the function type of the lambda expression when the lambda expression returns another lambda or a method group.

[jcouv:] If we decide not to make this change, then we should document the current behavior.

See #57713 (comment)