miha-x64
interface X<A, B : Y<A>> interface Y<A> val a: X<*, Y<*>> = object : X<String, Y<String>> {} // type mismatch: required X<*, Y<*>>, found ''