class Inv<E> class C<R> { fun bind...

# eap

[benny_wang]

class Inv<E>
class C<R> {
fun bindTo(property: Inv<R>) {}
}

fun foo(x: Any?, y: C<*>) {
y.bindTo("") // OK, error about out-projected type prohibits use of 'bindTo'

if (x is C<*>) {
x.bindTo("") // Plain type mismatch, required type: Nothing
}
}