Более точные диагностические сообщения об ошибках с помощью шаблонов?

Ошибки компиляции с шаблонами часто неясны и их нелегко расшифровать, если только вы не очень хорошо разбираетесь в шаблонах. Во многих случаях опытный программист может быть сбит с толку ими. Я уверен, что большинство из нас чувствовали его укол много раз.

Насколько я понимаю, стандарт C++ только обязывает реализации предоставлять диагностику неправильно сформированной программы, но не какили какиедиагностические сообщения должны предоставляться.
Тем не менее, есть ли какие-либо рекомендации, изложенные комитетом по стандартам для преодоления этой проблемы трудно поддающейся расшифровке диагностики (особенно) в случае шаблонов. Это когда-нибудь даже обсуждалось? Кроме того, основные реализации что-то делают или планируют решить эту проблему?

Этот вопрос открыт для обсуждения, но, поскольку сообщество SO C++ является одним из самых активных сообществ C++, я уверен, что кто-то где-то должен иметь хотя бы некоторое представление об этом. Кроме того, несколько членов комитета по стандартам (я знаю) активно участвуют в теге C++, я надеюсь, что у них может быть какая-то информация об этом, если и др.