Aloraman
В далеком 2011 Бреслав говорил что вряд ли Котлин можно будет полноценно развернуть поверх CLR из-за type erasure в generics и особенностей того как притивные типы java вкостылены в "решетку типов"
Тогда правда Котлин был только для JVM и не предполагалось делать статических оптимизаций в компиляторе вовсе, да и соображения по дефолтной nullability java типов были другие
Сейчас может быть ситуация и поменялась, но основной вопрос "а зачем" все еще в силе
вот да, писать cross runtime код не выйдет из-за разных библиотек