// ĠOriginal Ġbug : ĠK T - 1 2 2 7 6 Ċ Ċ open Ġclass ĠBar Ċ Ċ abstract Ġclass ĠFoo Ġ{ ĊĠĠĠ Ġabstract Ġval Ġbar : ĠBar ĊĊĠĠĠ Ġfun Ġfoo () Ġ{ ĊĠĠĠĠĠĠĠ Ġbaz ( bar !! ) Ġ// ĠWarning Ġ" Un necessary Ġnon - null Ġassertion " ĊĠĠĠĠĠĠĠ Ġbaz ( get Bar X () !! ) Ġ// ĠNo Ġwarning Ġhere ĊĠĠĠ Ġ} ĊĊĠĠĠ Ġfun Ġbaz ( bar : ĠBar ) Ġ{ ĊĠĠĠ Ġ} Ċ } Ċ Ċ inline Ġfun Ġ< re ified ĠT : ĠBar > ĠFoo . get Bar X () Ġ= Ġbar Ġas ĠT Ċ