The current code base, under Sema::ActOnExplicitInstantiation and Sema::CheckFunctionTemplateSpecialization (in SemaTemplate.cpp), looses information about why a given template argument deduction fails. <br>I need that to not be the case for better diagnoses in concepts-enabled programs. <br>
I was wondering what the best approach would be at the moment, depending on when the Clang community intends to review that part of the implementation.<br>Should I go ahead and modify my off-main-branch concepts implementation, or <br>
should I make the change directly into clang's main branch, or <br>should I simply give it a moment until that part is reviewed? If so, about how long should I wait. <br><br>I find it'd be more beneficial, if I were to do it myself, if I made the changes as globally as possible rather than just within my concepts  implementation. <br>
<br>Please let me know what you think.<br><br>Thanks,<br>-- Larisse.<br><br><br>