Да, естественно - работает. Вся метаинформация об экспортированных сущностях и типах пришита к объектнику. И символьная отладочная - об именах локальных переменных - тоже.
Символьные файлы используются исключительно на этапе компиляции. И как раз позволяют при необходимости отдать объектный файл (с мета-интерфейсов), но скрыть символьный (и запретить импорт). И наоборот - отдать только символьный, как "заглушку" для возможности компиляции проекта, а объектный - только потом (к примеру, за денюжку)