class ĠOut < out ĠE > Ċ interface ĠOpen Ċ class ĠFinal Ċ Ċ fun Ġfoo ( x : ĠOut < out ĠOpen >, Ġy : ĠOut < out ĠFinal >): ĠOut < out ĠOpen > Ġ= ĠOut () Ċ Ċ // Ġmethod : ĠRed undant Projection s Kt :: foo Ċ // Ġj vm Ġsignature : Ġ( LO ut ; LO ut ;) LO ut ; Ċ // Ġgeneric Ġsignature : Ġ( LO ut < + LO pen ; >; LO ut < L Final ; >; ) LO ut < LO pen ; >; Ċ Ċ class ĠIn < in ĠF > Ċ Ċ fun Ġbar ( x : ĠIn < in ĠOpen >, Ġy : ĠIn < in ĠAny ?> ): ĠIn < in ĠOpen > Ġ= ĠIn () Ċ Ċ // Ġmethod : ĠRed undant Projection s Kt :: bar Ċ // Ġj vm Ġsignature : Ġ( L In ; L In ;) L In ; Ċ // Ġgeneric Ġsignature : Ġ( L In <- LO pen ; >; L In < Ljava / lang / Object ; >; ) L In < LO pen ; >; Ċ