Thankfully, it optional to have inference in Kotlin, so it's rarely a deal-breaker (expect for the rare cases when it breaks compilation altogether, many of which had been fixed in 1.4.0 vs 1.3.72).
Type inference is one of the reasons we are not overwhelmed by the types in Kotlin, it's a great thing to improve it, thanks again! Hopefullu, it will convert more and more Javascripters to type sanity haha 🙂