<div dir="ltr"><span style="color:rgb(215,58,73);font-family:SFMono-Regular,Consolas,"Liberation Mono",Menlo,Courier,monospace;font-size:12px;white-space:pre-wrap">hi  man , 
   
     With all due respect I saw you have ever committed some code to LLVM project)(</span><a href="https://github.com/llvm-mirror/libcxx/blob/master/include/type_traits" target="_blank" style="font-family:SFMono-Regular,Consolas,"Liberation Mono",Menlo,Courier,monospace;font-size:12px;white-space:pre-wrap">https://github.com/llvm-mirror/libcxx/blob/master/include/type_traits</a><span style="color:rgb(215,58,73);font-family:SFMono-Regular,Consolas,"Liberation Mono",Menlo,Courier,monospace;font-size:12px;white-space:pre-wrap">) , I am reading the source code about meta-programming in the file - type_traits
in the line number 3445 , "__is_trivially_constructible<</span><span style="color:rgb(215,58,73);font-family:SFMono-Regular,Consolas,"Liberation Mono",Menlo,Courier,monospace;font-size:12px;white-space:pre-wrap">...>" is curious to me , but I can not find the definition of the value , could you
please tell where I can find the definition about 

__is_trivially_constructible

?

template <class _Tp, class... _Args>
struct _LIBCPP_TEMPLATE_VIS is_trivially_constructible
    : integral_constant<bool, __is_trivially_constructible(_</span><span style="color:rgb(215,58,73);font-family:SFMono-Regular,Consolas,"Liberation Mono",Menlo,Courier,monospace;font-size:12px;white-space:pre-wrap">Tp, _Args...)>
{
};

similarly,  if I can understand the meaning of "__is_trivially_constructible" , I can understand __is_trivial ,__is_trivially_copyable , etc

thank you in advance . 
</span><br class="gmail-Apple-interchange-newline"></div>