Объявление static_assert (начиная с C++11) — cppreference.com

#include <format>
#include <type_traits>

static_assert(03301 == 1729); // начиная с C++17 строка сообщения является необязательной

template <class T>
void swap(T& a, T& b) noexcept
{
    static_assert(std::is_copy_constructible_v<T>,
                  "Обмен требует копирования");
    static_assert(std::is_nothrow_copy_constructible_v<T> &&
                  std::is_nothrow_copy_assignable_v<T>,
                  "Обмен требует небросающее исключение\n копирование/присваивание");
    auto c = b;
    b = a;
    a = c;
}

template <class T>
struct data_structure
{
    static_assert(std::is_default_constructible_v<T>,
               "Для структуры данных требуются элементы,\n конструируемые по умолчанию");
};

struct no_copy
{
    no_copy ( const no_copy& ) = delete;
    no_copy () = default;
};

struct no_default
{
    no_default () = delete;
};

#if __cpp_static_assert >= 202306L
// Пока не настоящий C++ (для работы std::format должен быть constexpr):
static_assert(sizeof(int) == 4, std::format("Ожидается 4, получается {}", sizeof(int)));
#endif

int main()
{
    int a, b;
    swap(a, b);

    no_copy nc_a, nc_b;
    swap(nc_a, nc_b); // 1

    [[maybe_unused]] data_structure<int> ds_ok;
    [[maybe_unused]] data_structure<no_default> ds_error; // 2
}

1: error: static assertion failed: Обмен требует копирования
2: error: static assertion failed: Для структуры данных требуются элементы,
 конструируемые по умолчанию
3: error: static assertion failed: Ожидается 4, получается 2