https://kotlinlang.org logo
#language-evolution
Title
# language-evolution
t

Tomasz Krakowiak

07/14/2021, 6:59 AM
Shouldn't this be legal?
Copy code
interface A1
interface A2 : A1
interface B<out T>
interface C1 : B<A1>
interface C2 : C1, B<A2> // Type parameter T of 'B' has inconsistent values: A1, A2
https://pl.kotl.in/xgbmimjy6
e

ephemient

07/14/2021, 7:30 AM