если кстати написать

val some: List<out Root> = when { 
  condition -> listOf(Root.A)
  ...
}

то идея пометит out и скажет, что corresponding type parameter has the same variance

Короче, я перестал что-либо понимать

это потому что класс List уже объявлен как List<out T>, и слово out по месту использования указывать не обязательно
а ArrayList имеет как входной, так и выходной T, поэтому out явно

но на самом деле там одно и то же, в обоих примерах List<out Root>

👍

Есть кроссплатформенный http клиент?

ktor?

https://github.com/ktorio/ktor/issues
412 открытых...

Что-то туплю, мучаясь над терминологией.
Какое слово правильно использовать вместо "наследование" в более широком смысле, когда речь идет о том, что один тип является подтипом другого?

Например, Any является подтипом от Any?, но нельзя же сказать, что Any это наследник Any?
Или нельзя сказать что Nothing является наследником от MyClass.

Можно нарисовать такую диаграмму:
Any == BaseClass == DerivedClass

И про неё вполне можно сказать, что это "диаграмма наследования" или "цепочка наследования".

Но если нарисовать такие цепочки:
Any == Base == Derived == Nothing
MyClass? == MyClass

То про них уже некорректно говорить, что это "диаграмма наследования" или "цепочка наследования". Но тогда это цепочка чего? Какой правильный научный термин?

https://youtrack.jetbrains.com/issues/KT?q=%23Open%20
4845 открытых...

сворачиваемся

там есть косяки, но в основном с вебсокетами и прочими маргинальными фичами

Сорри за оффтоп. Есть ли способ переиспользовать блок repositories из gradle между проектами? Как в settings.xml

в рутовом градле написать allprojects{repositories{}}

Это называется сабтайпинг

А ну у тебя так и написано же

так и говорит "является подтипом\надтипом"

а по-русски это как то можно назвать, или только прямая калька с английского?

А подтип чем не по русски?

подтип по русски, но это не прямой заменитель
я искал прямой аналог слова "наследование", чтобы вместо словосочетания "диаграмма наследования" или "цепочка наследования" написать "диаграмма чего-то там" или "цепочка чего-то там"