corrections affecting constrained lambda expressions