Проверка утверждения о том, что что-то не должно компилироваться

ПроблемаКогда я работаю с библиотеками, которые поддерживают программирование на уровне типов, я часто пишу комментарии, подобные следующим ...