class ĠFoo < out ĠT >( val Ġbaz : ĠB az < T >) Ċ Ċ class ĠBar Ġ{ ĊĠĠĠ Ġval Ġfoo : ĠFoo < *> Ġ= ĠTODO () ĊĊĠĠĠ Ġfun Ġ< T > Ġbar (): ĠB az < T > Ġ{ ĊĠĠĠĠĠĠĠ Ġreturn Ġfoo . baz ĊĠĠĠ Ġ} Ċ } Ċ Ċ type alias ĠB az < T > Ġ= Ġ(@ Unsafe Variance ĠT ) Ġ-> ĠUnit Ċ