[clang] [clang-tools-extra] [clang] Implement CWG2398 provisional TTP matching to class templates (PR #92855)

[Davide Italiano via cfe-commits]

dcci wrote:

Example error while I reduce:

```
fbcode/third-party-buck/platform010/build/libgcc/include/c++/trunk/bits/stl_vector.h:404:21: error: static assertion failed due to requirement 'is_same<std::basic_string<char, std::char_traits<char>, std::allocator<char>>, quic::Interval<unsigned long, 1>>::value': std::vector must have the same value_type as its allocator
  404 |       static_assert(is_same<typename _Alloc::value_type, _Tp>::value,
      |                     ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
buck-out/v2/gen/fbcode/21eca57c08ba71f9/quic/common/__interval_set__/buck-headers/quic/common/IntervalSet.h:61:29: note: in instantiation of template class 'std::vector<quic::Interval<unsigned long>>' requested here
   61 | class IntervalSet : private Container<Interval<T, Unit>> {
      |                             ^
buck-out/v2/gen/fbcode/21eca57c08ba71f9/quic/state/__quic_state_machine__/buck-headers/quic/state/QuicStreamManager.h:79:41: note: in instantiation of template class 'quic::IntervalSet<unsigned long, 1, std::vector>' requested here
   79 |   IntervalSet<StreamId, 1, std::vector> streams_;
      |                                         ^
```

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