new inference: collect additional constraints from lambda return expressions when...