Assertion failure in C++17 mode in TreeTransform<Derived>::TransformExceptionSpec

[HerrCai0907]

part of reproduction for #73621

using A = int;
using B = char;

template <class T> struct C {
  template <class V> auto f1(V a) noexcept(1) {return a;}
};

int (C<int>::*tmp1)(int) noexcept = &C<A>::f1;

https://godbolt.org/z/hKcjeYcqf

[llvmbot]

@llvm/issue-subscribers-clang-frontend

Author: Congcong Cai (HerrCai0907)

part of reproduction for #73621

using A = int;
using B = char;

template <class T> struct C {
  template <class V> auto f1(V a) noexcept(1) {return a;}
};

int (C<int>::*tmp1)(int) noexcept = &C<A>::f1;

https://godbolt.org/z/hKcjeYcqf