АЦ
В msvc давно уже работают, не без багов
а в каком-нибудь gcc/clang?
struct N {
constexpr N() {}
N(N const&) = delete;
};
template <typename T>
consteval void assert_copyable()
{
T t;
T t2 = t;
}
using check = decltype(assert_copyable<N>());