http://gcc.gnu.org/bugzilla/show_bug.cgi?id=56039
Jason Merrill <jason at gcc dot gnu.org> changed: What |Removed |Added ---------------------------------------------------------------------------- Keywords|ice-on-valid-code |ice-on-invalid-code Status|UNCONFIRMED |NEW Last reconfirmed| |2013-03-11 CC| |jason at gcc dot gnu.org AssignedTo|unassigned at gcc dot |jason at gcc dot gnu.org |gnu.org | Ever Confirmed|0 |1 --- Comment #9 from Jason Merrill <jason at gcc dot gnu.org> 2013-03-11 20:35:36 UTC --- (In reply to comment #2) > (In reply to comment #1) > re: 5.19 p2 b8 > > 5.19 p2 (before the referenced bullet list) reads: > ..., but subexpressions of logical AND (5.14), logical OR (5.15) and > conditional (5.16) operations that are not evaluated are not considered... Looks like a defect in the wording. The intent is that a lambda body must not appear in SFINAE context.