http://gcc.gnu.org/bugzilla/show_bug.cgi?id=6273
Paolo Carlini <paolo.carlini at oracle dot com> changed: What |Removed |Added ---------------------------------------------------------------------------- CC| |jason at gcc dot gnu.org, | |paolo.carlini at oracle dot com --- Comment #16 from Paolo Carlini <paolo.carlini at oracle dot com> --- Jason, I'm having a look to this, and I'm not sure there is still something to do. For example, our type_dependent_type_p returns true for the snippet in 1) of Core/502. As regards the reduced testcase in Comment #2 here, we still reject it, as does clang too, but we accept (as does clang) it if we change operator+ to be constexpr.