package Ġtest Ċ Ċ trait ĠT Ġ{ ĊĠĠĠ Ġval Ġfoo : ĠBoolean Ċ } Ċ Ċ open Ġclass ĠA ( val Ġn : ĠInt ): ĠT Ġ{ ĊĠĠĠ Ġoverride Ġ Ġval Ġfoo : ĠBoolean ĊĠĠĠĠĠĠĠ Ġget () Ġ= Ġn Ġ> Ġ 1 Ċ } Ċ Ċ class ĠB : ĠA ( 1 ) Ġ{ ĊĠĠĠ Ġoverride Ġval Ġ< caret > foo : ĠBoolean ĊĠĠĠĠĠĠĠ Ġget () Ġ= Ġtrue Ċ } Ċ Ċ fun Ġtest () Ġ{ ĊĠĠĠ Ġval Ġa Ġ= ĠA ( 1 ). foo ĊĠĠĠ Ġval Ġb Ġ= ĠB (). foo Ċ }