https://gcc.gnu.org/bugzilla/show_bug.cgi?id=67499
--- Comment #3 from David Malcolm <dmalcolm at gcc dot gnu.org> --- (we were chatting on IRC, I suggested Frank file this) It might be worth looking at Clang for inspiration; see e.g.: http://clang.llvm.org/diagnostics.html ("Template Type Diffing") though that's not quite the same thing.