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

    <tr>
        <th>Summary</th>
        <td>
            std::is_constructible is not correct
        </td>
    </tr>

    <tr>
      <th>Labels</th>
      <td>
      </td>
    </tr>

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

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

<pre>
    Hello,

This code compile with MSVC 19 and GCC 12.1 but assert with Clang. But clang is able to compile it without the assertions.

https://godbolt.org/z/16n8bP7e8
`
#include <type_traits>
struct A{
    int a;
};
struct C : A {};

static_assert(std::is_constructible_v<A, int>);
static_assert(std::is_trivially_constructible_v<C,A>);

int main(){
    A obj{10};
    return obj.a;
}`
</pre>
<img width="1px" height="1px" alt="" src="http://email.email.llvm.org/o/eJx1Uk2P2yAQ_TX4gmrhb_vgg-N0t5dKlVr1GgFmEyIWIhhSpb--Q5xs01XXsvEwH4_3mBFuuYxflDGOlDNhW8Kmdf1x0IFKtyhcXk_aKPpLw4F-_f5zpsVAuV3o84xmmRdURKA8BOVhTZoNt_ucbtAtk0kRiguEAPeGptdchzlwULdy7WzIH1kcAE6BVBMpn_Ddu0U4A7nze9z9xq9obS--daq_FbXsZpSVttJEpE-qGS4ntQPPNSDW5zUjgI8S6ES6zeqg-GiLQkh185Bu-2bf0meEm-hEU9VD9J7DQcvdKoWUfYAlUa8mHXYSlV0hNN7D7oykkOOcDkyMyuHhoI9BwOuz5sZc_gM3I9z0Dmtdk6hXri2CpeCj3ok6cURPwR7VpIhXEL1N4fzfC2lZtozVMlQDz0CDUeOHMlPbrcMZcN4rCVn0ZnzXUJyAKHKcCdwYc77_Pp28O2IJbnUIUQU0mmbo6uww1rViqhqG7qVXTdm1_cA5r6WSRT9IsRSZ4UKZMJJmQ5ptpseSlSVrC8b6oitYztqXQsiq65a-Fz1vSc0UXo_J08FptDI_XjmIuA8YNDpA-BvExui9VeqOzyMOsR-P0WhuDTcxuzIer3T_AFdeBuY">