// ĠP SI _ ELEMENT : Ġorg . jetbrains . kotlin . psi . Jet Class Ċ // ĠOPTIONS : Ġderived Interfaces Ċ trait Ġ< caret > X Ġ{ Ċ Ċ } Ċ Ċ open Ġclass ĠA : ĠX Ġ{ Ċ Ċ } Ċ Ċ open Ġclass ĠC : ĠY Ġ{ Ċ Ċ } Ċ Ċ trait ĠZ : ĠA Ġ{ Ċ Ċ } Ċ