fun Ġfoo () Ġ{ ĊĠĠĠ Ġval Ġcast 1 : Ġ/* T 1 @ */ Int Ġ= Ġ 1 /* LIT */ Ġas Ġ/* T 0 @ */ Int /* T 0 @ Int */ ĊĠĠĠ Ġval Ġcast 2 : Ġ/* T 3 @ */ Int ? Ġ= Ġnull /* NULL !! U */ Ġas Ġ/* T 2 @ */ Int ? /* T 2 @ Int */ ĊĠĠĠ Ġval Ġcast 3 : Ġ/* T 5 @ */ Float Ġ= Ġ( 1 /* LIT */ Ġas Ġ/* T 4 @ */ Int /* T 4 @ Int */) /* T 4 @ Int */ . toFloat () /* Float !! L */ ĊĠĠĠ Ġval Ġn ya : Ġ/* T 6 @ */ Int ? Ġ= Ġnull /* NULL !! U */ ĊĠĠĠ Ġval Ġcast 4 : Ġ/* T 8 @ */ Int ? Ġ= Ġn ya /* T 6 @ Int */ Ġas Ġ/* T 7 @ */ Int ? /* T 7 @ Int */ Ċ } Ċ Ċ // LOWER Ġ<: ĠT 0 Ġdue Ġto Ġ' ASSIGN MENT ' Ċ // T 0 Ġ<: ĠT 1 Ġdue Ġto Ġ' INITIAL IZER ' Ċ // UPPER Ġ<: ĠT 2 Ġdue Ġto Ġ' ASSIGN MENT ' Ċ // T 2 Ġ<: ĠT 3 Ġdue Ġto Ġ' INITIAL IZER ' Ċ // LOWER Ġ<: ĠT 4 Ġdue Ġto Ġ' ASSIGN MENT ' Ċ // T 4 Ġ:= ĠLOWER Ġdue Ġto Ġ' USE _ AS _ RECE IVER ' Ċ // LOWER Ġ<: ĠT 5 Ġdue Ġto Ġ' INITIAL IZER ' Ċ // UPPER Ġ<: ĠT 6 Ġdue Ġto Ġ' INITIAL IZER ' Ċ // T 6 Ġ<: ĠT 7 Ġdue Ġto Ġ' ASSIGN MENT ' Ċ // T 7 Ġ<: ĠT 8 Ġdue Ġto Ġ' INITIAL IZER ' Ċ