| package com.example | |
| interface Aa { | |
| } | |
| interface Ab<T : Ab<T>> : Aa { | |
| } | |
| interface Ba { | |
| } | |
| interface Bb<T : Bb<T>> : Ab<T>, Ba { | |
| } | |
| interface Ca { | |
| abstract val b: Ba | |
| abstract get | |
| } | |
| interface Cb { | |
| abstract val b: Bb<*> | |
| abstract get | |
| } | |
| interface C : Cb, Ca { | |
| } |