Если я напишу следующий код:
val a: List<Any> = ArrayList<Int>()
val a2: ArrayList<Any> = ArrayList<Int>() // compile error
вторая строчка ожидаемо не скомпилируется, но на мое удивление с первой все OK. Насколько мне известно, в Java
так сделать бы не вышло:
List<Object> a = new ArrayList<Integer>(); // compile error
ArrayList<Object> a2 = new ArrayList<Integer>(); // compile error
Почему Котлин допускает такое поведение?