Why Kotlin doesn't allow use-site variance with the interface

gidds March 12, 2019, 10:51am 4

It doesn’t (yet). Your example of where T : IA, T : A1 is an intersection type, isn’t it?

Improve online Kotlin documentation for the `where` clause

Topic		Replies	Views
Declaration site variance and Java interop Support	2	2751	February 28, 2017
Covariance and contravariance: Is something possible in Kotlin that is impossible in Java?	2	280	May 2, 2024
Improve online Kotlin documentation for the `where` clause	3	1773	March 14, 2019
Use-site variance: is in and out a sugar for where?	1	688	September 2, 2020
Problem with types Language Design	3	453	February 28, 2024