При написании шаблонного кода постоянно возникает желание проверить (в тестах и в static_assert), что некий код не компилируется. То есть это для него правильное желаемое поведение, и я хочу автоматизированно убедиться, что оно действительно не компилится. Наверняка это можно сделать через SFINAE - объявить особый класс с особым методом, в этот метод напихать то, что не должно компилиться, и какой-то другой метод этого класса в зависимости от этого вернёт true или false. Но будет ли это работать, если подопытный код не компилится из-за static_assert?