Shouldn t this be legal ```interface A1 interface A2 A1 inte kotlinlang #language-evolution

Shouldn't this be legal? ```interface A1 interface...

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

ephemient

07/14/2021, 7:30 AM

https://youtrack.jetbrains.com/issue/KT-13380

🙏 1

Open in Slack

Previous Next