Also it's not just another typecheck on Java-Kotli...

# language-proposals

[ilya.gorbunov]

Also it's not just another typecheck on Java-Kotlin boundary, it's a full-blown incompatibility. Consider for example List<String[]> coming from Java, how could it become a subtype of List<Iterable<String>> in Kotlin?