I believe that the template diffing now supports most of the template parameters now.  SubstNonTypeTemplateParmExpr parameters was the last thing I added support for.<div><br></div><div>Per request, template aliasing is supported by finding the most specialized template alias common to both types and using it for the diff.  May need to add some indication that aliases are being stripped off to be more helpful.</div>
<div><br></div><div>The type diffing is working well at the current position.  Next move is to add support to other diagnostic messages and see if there's any cases I've missed.</div>