Можно (наверное) написать транслятор языка X в язык Y на языке Y, и тогда возможно что-то сработает
Да, из современного:
MSheme написанный на Modula-3.
--
==
> Как в языке X использовать _фичу_ языка Y, на котором написан компилятор языка X?
==
==
> Нет, мы воспользовались GC за счет общей виртуальной машины, но так просто совпало, а язык реализации компилятора оказался абсолютно не при чем
==
( Компилятор Modula-3, кстати, "AOT compiler". VM если и есть, то как абстракция.)
Экосистема Modula-3 способствовала успеху.
Конечно, не вполне ясно относить ли GC к runtime или к language features.
Обычно, за исключением консервативных GC ( Boehm GC, например) требуется поддержка со стороны компилятора.
P.S.
Между прочим, в readme Boehm GC явным образом запрещена одна из оптимизаций.
Что-то из области адресной арифметики.
Т.е. наличие GC, даже в консервативном варианте, необходимо учитывать.