Приветствую!

Юнит-тесты это куль и руль и вообще удобное средство. Но фишка в том, что обычно тест заключается в последовательном выполнении некоторого кода и контроля за тем, что получаемые результаты, состояния объектов и вылетаемые исключения соответствуют ожидаемым.

Но при разработке библиотеки есть ещё одно важное требование: чтобы некоторые конструкции не компилировались или выдавали предупреждение компиляции (защита от неправильного использования). Есть идеи как это проверить?

Язык C++, но приветствуются любые соображения.