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

    <tr>
        <th>Summary</th>
        <td>
            Builtin type traits can't handle abominable function types as arguments
        </td>
    </tr>

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

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

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

<pre>
    https://godbolt.org/z/9bb351bad
This parser limitation was clearly known when the tests for `__has_unique_object_representations` were added in https://reviews.llvm.org/D39064 , but it never explicitly came up during the code review. However, if we fixed the parser limitation, then we could simplify those tests to check the trait directly instead of going through @erichkeane's helper template in PR https://github.com/llvm/llvm-project/pull/77584.
</pre>
<img width="1px" height="1px" alt="" src="http://email.email.llvm.org/o/eJyEkjGPnDAQhX-NaUZZGQPLUlDc5bRKE-kUpV8ZPMDkjE3s8XGbXx_BbhLlUqRy4fHze988HSONDrEV1aOonjKdePKhffj83DRN1nlzbSfmJYriQaizUOfRm85bPvgwCnX-IdS56bqiyjtthHwS8uHrRBEWHSIGsDQTaybvYNUReos62Cu8OL86WCd0wBMCY-QIgw8gjvJymXS8JEffE1589w17vgRcAkZ0N6kojhJWDAjaGDRADv62GPCVcI0Ha1_nu8-nopHHEoT6CF1iIAaHrxgA3xZLPbG9Qq9nhLSASYHcuBvrvUG4qR3gk1-3J5sEDbAiDPSGZp_7J-02xFu8dRNJ1kCkebE0XIEnH39FZg_9hP3LjULQxGAoYL_ZIRcZtQE_wOhvhoJP4wSilBion15QOxSqjjChXTAA47xYzbgBef7yjslIPKXu0PtZqPMG5n58WILfGAt1XpK1Qp3rujqVh8y0hWmKRmfY5rUsT6fqVNXZ1Eo9mFxhh2hycyqKwRRdfxrKRldVk-Mpo1ZJVco8l3muyrw-NKWpyzw_yiNKWUm9BZg12d_7ySjGhO32cZVZ3aGNex2VcrjCfimU2toZ2t1zl8YoSmkp8p8tZ0xssX1MZJkc8HW5M43QaydUzTBpZyyC7vxMTncWYUiu3-u5jUfQEXQY04yOY5aCfd_9_0Pc3cY7xupnAAAA___tLyPD">