http://gcc.gnu.org/bugzilla/show_bug.cgi?id=48113
Jason Merrill <jason at gcc dot gnu.org> changed: What |Removed |Added ---------------------------------------------------------------------------- Status|ASSIGNED |NEW AssignedTo|jason at gcc dot gnu.org |unassigned at gcc dot | |gnu.org --- Comment #5 from Jason Merrill <jason at gcc dot gnu.org> 2011-03-14 17:33:44 UTC --- Indeed, EDG 4.2 rejects both. So the bug report is indeed a library issue. I'll open a separate report for the accepts-invalid example.