// ĠWITH _ RUNTIME Ċ import Ġjava . io . File Ċ Ċ class ĠMy File Ġ: ĠFile (" file ") Ġ{ ĊĠĠĠ Ġoverride Ġfun Ġget Canonical File (): ĠFile Ġ{ ĊĠĠĠĠĠĠĠ Ġreturn Ġsuper . getCanonical File () ĊĠĠĠ Ġ} Ċ } Ċ Ċ fun Ġfoo ( file : ĠMy File ) Ġ{ ĊĠĠĠ Ġfile . getCanonical File () < caret > Ċ }