ладно, когда проверка витиеватая для системы типов, это полбеды. а вот когда когнитивная нагрузка на разработчика повышается, это уже совсем беда. например, если в общем модуле разместить директиву компиляции, то ни я ни один из моих коллег не может однозначно сказать, где будет компилироваться этот код и в каких контекстах он будет доступен