fun Ġbar (): ĠInt Ġ= Ġ{ ĊĠĠĠ Ġvar Ġi : ĠInt ? ĊĠĠĠ Ġi Ġ= Ġ 4 2 ĊĠĠĠ Ġ// Ġsmart Ġcast ĊĠĠĠ Ġi . hashCode () ĠĊĠĠĠ Ġ// Ġtype Ġmismatch ; Ġwith Ġi !! Ġwe Ġhave Ġ" un necessary Ġnot Ġnull Ġassertion " Ġinstead ĊĠĠĠ Ġi Ġ Ċ }() Ċ