Shouldn't this be legal?

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