fun Ġ< U , ĠV > Ġcast ( param : ĠU ): ĠV ? Ġ= Ġparam Ġas ? ĠV Ċ Ċ // ĠU Ġ- Ġinf err able Ġfrom Ġ' param ' Ġ=> Ġ( U ) Ċ // ĠV Ġ- Ġnon Ġinf err able Ġ( return Ġvalue Ġtype Ġis Ġnot Ġtaken Ġinto Ġaccount ) Ċ Ċ fun Ġtest () Ġ{ ĊĠĠĠ Ġval Ġres : ĠLong ? Ġ= Ġcast ( 5 ). < caret > Ċ } Ċ Ċ // ĠELEMENT : Ġminus Ċ // ĠT AIL _ TEXT : Ġ"( other : ĠInt )"