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

    <tr>
        <th>Summary</th>
        <td>
            Wrong result of "constructible" traits for unbound arrays
        </td>
    </tr>

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

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

    <tr>
      <th>Reporter</th>
      <td>
          bolshakov-a
      </td>
    </tr>
</table>

<pre>
    These asserts fail in Clang (and GCC as well):
```cpp
static_assert(__is_constructible(int[], int, int));
static_assert(__is_nothrow_constructible(int[], int, int));
```
However, it seems to be wrong because [[meta.unary.prop] p. 9](http://eel.is/c++draft/meta#unary.prop-9) states:
> The predicate condition for a template specialization is_constructible<T, Args...> shall be satisfied if and only if the following variable definition would be well-formed for some invented variable t:
> `T t(declval<Args>()...);`

and the following compiles:
```cpp
#include <type_traits>

template< class T >
std::add_rvalue_reference_t<T> declval() noexcept;

using T = int[];

T t(declval<int>(), declval<int>());
```
Is it actually a bug, or am I missing something?
</pre>
<img width="1" height="1" alt="" src="http://email.email.llvm.org/o/eJyclM-O4zYMxp9GuRBjOFL--eBDkpm0ew_QY0BLtK1WlgxRTpo-fSFnMsFuu5cFAigGpU8_kh-FzLbzRLVYH8T6fYFT6kOsm-C4x7_C9Q0XTTD3-twTEyAzxcTQonVgPRwd-g6E3KE38NvxCMhwI-eErITai3IvNuXjp8dRlHtOmKy-PGSE3F0uli86eE5x0sk2joTcWZ8eMEIeIX88l2qWPfxMx4fUx3D7Fb0vTFHufw83ulKcdyVgooEhBWgIbjH4DhrSODHBrHkYKGExeYz3YoxhFOt3GAuo5tt2fUpjroM8CXkicoVlIU9ayIOQBxOxTUKesoKQ6qXxlrkgp0j8WUX1AeeeYIxkrMZEoIM3NtngoQ0REBINo8sBHklbdPYfnKP_Ka86nnNm-9hxURRZmHt0LqfHmCy3lgzYFnJDg3f3_D_1BG1wLtys7-CK0WLjCAy11j8gbmFyZi4ROffWhjiQmck4DATWX8knMq-j6ZWX2JRnyD00pN0VnVDHDCfUh5A7IatM-WjT3B1R7jPa90g6DKN1X9X63nNCKuu1mwyBUMd0H-mSIto0XzELPosn1BG0Q2Y4wyPIyWRNtUdjLvGKbqJLpJYieU2XNFdTfcATfQYGH-hvTWP6tFa5nzhDZs13eJnxGf0x-7zjmXxu1c8i_2Pdb5wtizpN6NwdEJqpyxLZIgN8g8HyjJK7knrrO6FOC1MrU6kKF1Qvt6vtSm6qXbno62az3Rqz1hWi3JRV0-Cy2TUV0nJLkrRa2FqWcl2ulxtZSlWWxXZdadNig1StlJaVWJU0oHWFc9ehCLFbWOaJ6uWqVKVaOGzI8fzwSOnpBnNUSJnfoVjnQ2_N1LFYlc5y4pdMsslR_cc8jpF4cglCC0LKH0ZfwqPTsxUn34TJG8AY8c6LKbo6zyd_DWhnUz81hQ6DkKd81-fyNsbwJ-k8qzNhnuHPFK61_DcAAP__hEGrKQ">