Почему пропуск проверки видимости разрешен только для динамических методов?

Я переношу код, который широко использует DynamicMethod, чтобы обеспечить предварительную компиляцию для повышения производительности холодного запуска. Я заметил, что DynamicMethodмогут быть JIT-компилированы и выполнены без проверки видимости, что позволяет им обращаться к приватным вложенным типам, а обычные сборки не могут (или не могут? Я не вижу очевидного загрузчика вариант). Каково обоснование этого дизайнерского решения?