http://gcc.gnu.org/bugzilla/show_bug.cgi?id=59980
--- Comment #1 from Jonathan Wakely <redi at gcc dot gnu.org> --- (In reply to Jason from comment #0) > And I'd like a way to make the 's1<(e1)1u>' or 's2<(e2)1>' portion in the > message look like 's1<t2>' or 's2<e2::t4>', which is clearer (to me). I agree it would be nice. The difficulty is that there might not be an enumerator with that value, or there might be more than one with that value, so printing the same enumerator as was used in the code would require keeping track of information that is not part of the type system.