Please
I don't know enough about Kotlin's type system to have a verdict yet. The Kotlin spec includes some information about how the type inference works, and I haven't noticed any immediate sources of undecidability. If anybody knows a source (proof/paper/blog post/etc.) cementing this I'd be happy to include Kotlin.