Kotlin has lot of similar type inference as Swift (and is in fact 80% syntax identical, though this is just a point of trivia), so I wonder why Kotlin doesn't g

Kotlin has lot of similar type inference as Swift (and is in fact 80% syntax identical, though this is just a point of trivia), so I wonder why Kotlin doesn't get this "type-checker cannot compile this expression" error like Swift does, for longer expressions?