Мог бы, но бенефитов для статически типизированного языка, afaik, там нету. Компромисы, можно почитать статьи lany по этому поводу на хабре
Вот там как раз в этом доклад с котлинконфа разбирались эти кейсы. Там есть интринсики на динамиках, которые сильно оптимизируют некоторые узко-специфичные случаи
Вот там как раз в этом доклад с котлинконфа разбирались эти кейсы. Там есть интринсики на динамиках, которые сильно оптимизируют некоторые узко-специфичные случаи
В любом случае я про JEP 309 не наблюдаю issue в youtrack, если вы понимаете зачем это нужно и когда вам поможет - создайте пожалуйста, и можно вот сюда залинковать наверное https://youtrack.jetbrains.com/issue/KT-26240
Понял, спасибо. И ещё такой момент - планируется ли улучшение интеграции с новыми языковыми фичами java, если да, то как? Например, в java 11 уже в какой-то мере реализован вывод типов и его можно не добавлять при таргете на jdk11.