interface ĠWorld Object Ġ{ ĊĠĠĠ Ġval Ġname : ĠString Ċ } Ċ Ċ fun Ġtest B ( world Obj : ĠWorld Object ) Ġ{ ĊĠĠĠ Ġval Ġy Ġ= Ġworld Obj . let Ġ{ ĊĠĠĠĠĠĠĠ Ġprintln (" object Ġname : Ġ${ it . name }") ĊĠĠĠĠĠĠĠ Ġit ĊĠĠĠ Ġ} Ċ } Ċ Ċ // Ġ 0 ĠCHECK CAST