struct is_nothrow_copy_constructible
    : __is_nothrow_constructible_impl<_Tp, __add_lval_ref_t<const _Tp>>;