miha-x64
11/03/2017, 12:57 PMtypealias CoolWtf<A, B> = Wtf<A, B, Ftw<A, B>>
interface Wtf<A, B, C : Ftw<A, B>>
interface Ftw<A, B>
class WtfImpl : Wtf<Int, String, Ftw<Int, String>>
fun x() {
val wtf0: CoolWtf<Int, String> = WtfImpl()
val wtf1: CoolWtf<Int, *> = WtfImpl() // error
val wtf2: CoolWtf<*, String> = WtfImpl() // error
}