Здравствуйте, rg45, Вы писали:

R>Можно использовать несоответствие типов формальных и фактических параметров, чтоб спровоцировать ощибку

В том и задница, что все известные способы завязаны на создание ошибки — и, как следствие, невозможность завершить компиляцию. Если бы разработчики языка меньше думали о высоком и красивом, такие средства давно были бы включены в язык штатно, безо всяких провоцируемых ошибок.