Я так понял, вывод типов полностью переписан.
И это часть фронта. И вот в чём вопрос: этот самый new inference - это часть нового фронтенда, или заменённая часть "старого"?
Собсна, в сегодняшнем докладе в Android Broadcast раскрыта мысль.
Старый компилятор:
.kt -> (frontend) -> psi+контекст -> (backend) -> .class
Новый:
.kt -> (frontend) -> fir -> (fir2ir) -> ir -> (backend) -> ...
А то, что есть в экспериментальном виде в 1.4, выглядит вот так:
.kt -> (frontend) -> psi+контекст -> (psi2ir) -> ir -> (backend) -> ...
Отсюда и картина, откуда взялся new inference без полной замены фронтенда :)