https://gcc.gnu.org/bugzilla/show_bug.cgi?id=10437
--- Comment #12 from Jonathan Wakely <redi at gcc dot gnu.org> --- (In reply to Richard Smith from comment #11) > I disagree. The failure is not in the immediate context of the substitution, > so this is a hard error. GCC seems to be doing the right thing in all cases > here. Agreed. I think GCC has been fixed in both respects since this was active and this can be closed (maybe after adding the examples to the test suite, but I think we have equivalents already).