fun Ġtest (): ĠString Ġ{ ĊĠĠĠ Ġval Ġb Ġ= ĠA < String >(). B < Int , ĠDouble >() ĊĠĠĠ Ġval Ġx : ĠString ? Ġ= Ġb . get AE () ĊĠĠĠ Ġval Ġy : ĠInt ? Ġ= Ġb . get BT () ĊĠĠĠ Ġval Ġz : ĠDouble ? Ġ= Ġb . get BE () ĊĊĠĠĠ Ġ// ĠThis Ġline Ġis Ġneeded Ġto Ġensure Ġthat ĠB . get AE 's Ġreturn Ġtype Ġis Ġnot Ġan Ġerror Ġtype ; Ġif Ġit Ġwas , Ġthis Ġline Ġwould Ġcompile Ġwith Ġno Ġerrors ĊĠĠĠ Ġb . get AE (). un resolved () ĊĊĠĠĠ Ġreturn Ġ"$ x $ y $ z " Ċ } Ċ