<table border="1" cellspacing="0" cellpadding="8">
    <tr>
        <th>Issue</th>
        <td>
            <a href=https://github.com/llvm/llvm-project/issues/77071>77071</a>
        </td>
    </tr>

    <tr>
        <th>Summary</th>
        <td>
            Assertion failure in C++17 mode in TreeTransform<Derived>::TransformExceptionSpec
        </td>
    </tr>

    <tr>
      <th>Labels</th>
      <td>
            new issue
      </td>
    </tr>

    <tr>
      <th>Assignees</th>
      <td>
      </td>
    </tr>

    <tr>
      <th>Reporter</th>
      <td>
          HerrCai0907
      </td>
    </tr>
</table>

<pre>
    part of reproduction for #73621

```c++
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
</pre>
<img width="1px" height="1px" alt="" src="http://email.email.llvm.org/o/eJxkUs2OozwQfJrmYk1k2oDhwCEhgz7pO2400h4d0yQeGczaZvbn6Vcm2czsrNQyov-qq1QqBHOZiVooD1AeM7XGq_Ptf-R9pwxvuMzObvjZLspH5kbmafFuWHU0bmaj8wxQSFFhDvwIfH9_K34LDXhIsWXXYOYL2zMQR2bmCOKv_GHL66vyj8LtjTQtVkViIDptVQjsBOKZhehXHVnHQN7bGfu39SW1qjU6NuaA9QtTgA2bHf3QtETAOk__IA-e4upnphK4PN7x5fHTLWaODLDuQHQbg2cQ-xS4j9OSVgHWqfABY6MFWKWZ_WNizN83_xHrI9A1xiVsm3vA_uKGs7Nx5_wFsP8F2F__16_0VX8bs6EVQyMalVGbS14URVMWmF1b1WCBlSgrKcdSNLUY1IACcZC1GhGbzLTIseA5L3OeI-JuLIZal4VGxesSqwoKTpMydmft25SwMxPCSq2UXOaZVWeyYbMN4kzf2VYExOQi36aZp_N6CVBwa0IM71uiiZbafQjkby5Sxq6emJlZd_NLLtnkhi1z8kQnr-YwOj-B6I7kzRsNDyEftedNbePmLwvpbPW2_aShidf1vNNuAuzTLffP0-LdK-kI2G8MAmC_MfwdAAD__zx66Gs">