Type inference in lambda default argument

Language Design
9

@Eliote that does unfortunately not work due to the same issue as Lambda parameter with default parameter in inline functions