interface ĠI Ġ{ ĊĠĠĠ Ġfun Ġfoo (): ĠInt Ċ } Ċ Ċ abstract Ġclass ĠBase Ġ{ ĊĠĠĠ Ġfun Ġfoo (): ĠInt Ġ{ ĊĠĠĠĠĠĠĠ Ġreturn Ġ 4 2 ĊĠĠĠ Ġ} Ċ } Ċ Ċ class ĠFoo Ġ: ĠI , ĠBase () Ġ{ ĊĠĠĠ Ġval Ġp : ĠString Ġ= Ġ" 4 2 " ĊĊĠĠĠ Ġfun Ġbar ( other : ĠI ): ĠInt Ġ{ ĊĠĠĠĠĠĠĠ Ġwith ( other ) Ġ{ ĊĠĠĠĠĠĠĠĠĠĠĠ Ġreturn Ġsuper @ Foo . foo () ĊĠĠĠĠĠĠĠ Ġ} ĊĠĠĠ Ġ} ĊĊĠĠĠ Ġfun Ġbaz ( other : ĠI ): ĠString Ġ{ ĊĠĠĠĠĠĠĠ Ġwith ( other ) Ġ{ ĊĠĠĠĠĠĠĠĠĠĠĠ Ġreturn Ġthis @ Foo . p ĊĠĠĠĠĠĠĠ Ġ} ĊĠĠĠ Ġ} Ċ } ĊĊ