Hi, question about inherting from invariant interf...

# language-proposals

[jbgi]

Hi, question about inherting from invariant interface: why is the following not allowed:

interface I<A>
interface J<out A> : I<A>

Is it unsafe for some reasons?
error is: Type parameter A is declared as 'out' but occurs in 'invariant' position in type I<A>
This as probably been discussed somewhere but could not find it...