[clang] [clang] Enable C++17 relaxed template template argument matching by default (PR #89807)

[Matheus Izvekov via cfe-commits]

mizvekov wrote:

No, I never used templight for this. I don't know of any easy to use tools that would work for a complex sample without modification.

Otherwise, the reduction wasn't difficult, it was mostly that creduce / cvise are lacking steps to reduce template type aliases, and the typedef within a class template equivalent.

There is also a seemingly complex pack expansion of a boolean expression, that you can just replace with false; cvise missed this as well.

https://github.com/llvm/llvm-project/pull/89807