``` interface X<A, B : Y<A>> interface...
# getting-started
m
Copy code
interface X<A, B : Y<A>>
interface Y<A>
val a: X<*, Y<*>> = object : X<String, Y<String>> {} // type mismatch: required X<*, Y<*>>, found ''
how to fix this? I don't mind star-projected type and can't add variance.