http://gcc.gnu.org/bugzilla/show_bug.cgi?id=50545
Jason Merrill <jason at gcc dot gnu.org> changed: What |Removed |Added ---------------------------------------------------------------------------- Status|SUSPENDED |RESOLVED Resolution| |FIXED Target Milestone|--- |4.8.0 --- Comment #3 from Jason Merrill <jason at gcc dot gnu.org> 2012-08-31 15:07:40 UTC --- It was pointed out to me that 14.4 says, "If an expression e involves a template parameter, decltype(e) denotes a unique dependent type." "involves a template parameter" is different from "is type-dependent", so G++ was clearly wrong. Fixed by implementing instantiation-dependent in the way I think we should resolve 1172.