If a method target type leads to a type-error in the lambda body attributed speculatively, the method should be discarded from overload resolution, as per latest EDR iteration.