Підстановочні коди загальні в Котліні для змінної котлін

Чи можна оголосити загальні підстановки в Котліні подібно до цього коду в Java:

List<Integer> a = new ArrayList<>();
List<? extends Number> b = a;

Відповіді:

Еквівалент в Котліні буде таким:

val a = ArrayList<Int>()
val b: ArrayList<out Number> = a

Котлін не має підстановочних знаків, замість цього він використовує поняття проекції дисперсії та типових прогнозів.

Будь ласка, перевірте документація, охоплює досить широко.

Котлін забезпечує так звану зіркову проекцію

val a = ArrayList<Int>()
val b: ArrayList<out Number> = a