<table border="1" cellspacing="0" cellpadding="8">
    <tr>
        <th>Issue</th>
        <td>
            <a href=http://email.email.llvm.org/c/eJy9Ustu2zAQ_BrqsoggkZIdHXRw7ATooTn1XlDUSmZLkw5Jxcnfd03JDlA0QJEGFShpl4_lzOx0rn9tGd_Q2AwDqog9PKMP2tkwTzOxgZLnRV6AtD04e5K-Z8WOFZvlm7bdv8jD0SCUwPitMtKOUFbnU4zfMd5cay1nVsU8VFq-m2cjUgkZkYmtnKKDRybu5xWPT5P2GOAasPVyCOLrEa08IHy_0_GLjXT_4_lGsWxg690cTEETqm_AxA6ene7fdlzQvE-Lv9G6yHNR5QZKMRP9PyzvXz6d5U7L0boQtXqPwZKKbXCTV3iGLDaC3rI8GwS9dz4FL8fZRBKeJmn0oClOuOUQ0ZOK6wsTCv-yg3B9WL1IVc5XwogWPYnZ538GnOg8uojhN2ZbaeHk_E-Q3k3k67hH0CFMCN0rzBrSDmIgA1w7xrdA6eCMcafw4TbP1WeqqU3vGfcz7LKUFtt07gNuyfpW9I1oZEbX751vv8pIYp2kcjabvGn3MR6TGPyBxqjjfupy5Q6UGPN8-d0cvftB1qA0yUz9eKhFUa-zfduty16pvumGFTZc1k21KvqmwnVV3_b1apUZ2aEJLatJXm7xNHeKYlbvsn9HoFtecF6UxYoLXtdlXlWi6SpVDkLxQtSKVQUepDb5uU7u_Jj5NpXspjHQotEhhrdFGYIeLWICTAijjiYlW2cVHmOgSSADWhfJalfbg7apb5d-HtDGkCWsbQL6C2Ceo0o>53057</a>
        </td>
    </tr>

    <tr>
        <th>Summary</th>
        <td>
            [Concepts] Cannot use _BitInt in type requirements
        </td>
    </tr>

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

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

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

<pre>
    **Affected versions**: 12.0.0 and onward

**Example 1 (clang 14.0.0+)**:
```c++
template<auto N>
requires requires {
 typename _BitInt(N);
}
using T = void;
```

**Example 2 (clang versions 12.0.0 - 13.0.0)**:
```c++
template<auto N>
requires requires {
 typename _ExtInt(N);
}
using T = void;
```

**Diagnostic**:
```
<source>:3:11: error: expected a qualified name after 'typename'
 typename _BitInt(N);
          ^
1 error generated.
```
**Notes**:
Can work around the issue by using an alias template, as follows:
```c++
template<auto N>
using BitInt = _BitInt(N);

template<auto N>
requires requires {
 typename BitInt<N>;
}
using T = void;
```
</pre>
<img width="1px" height="1px" alt="" src="http://email.email.llvm.org/o/eJy9UktvnDAQ_jXmMgoCG9jsgcM-EqmH5tR7Zcws69Zrb2yTTf59B8NupKqRqioqMjB-zXyP6Vz_1jK-obE5HFBF7OEFfdDOhnmZiQ2UPC_yAqTtwdmL9D0r9qzYLN907OFVns4GoQTG75WRdoCymm4xvmV8fcu13GmKeai0vZ1XI1IKGZGJnRyjgycmHuYdj8-j9hjgFrDVcgni2xmtPCF83-r4xUaq_zRVFMsBttrPwRg0ofoGTOzhxen-_cQVzce0-DutqzxXVe6gFDPR_8Py4fXTWe61HKwLUauPGCxTsQtu9AonyGIj6C3LqUHQe-dT8Hqem0jC8yiNPmiKE255iOhJxdWVCYV_6SDcHlYvUpVzSRjQoicx-_zPgBOdJxcx_MZsJy1cnP8J0ruR-joeEXQII0L3BrOGdIIYyAA3x_gOaHpwxrhL-Geb5-wz1WTTR437Ge2ypBa7dO8fuiXrW9GvxVpmUUeDLau3O2cVnmNg9R5IR-siKXZzD7RN5a-wTmhjyEZv2mOM5yQbf6Qx6Hgcu1y5E02Mebn-7s7e_aAmomkyhJx7rEVRr7JjW5eNFLyRVd2slaz7-14RtKYWXVdj1VSZkR2aMIFknFu8zJ5STFgz3fKC86IsGi54XZd5VYl1V6nyIBQvRK1YVeBJapNPOHLnh8y3CVI3DoE2jQ4xvG_KEPRgMWky5Sd_js63X2WkbrpI5WyWyrcJ_i8OYo1o">