// ĠEXPECT ED _ RE ACH ABLE _ NODES : Ġ 1 2 9 4 Ċ // ĠThis Ġtest Ġwas Ġadapted Ġfrom Ġcompiler / testData / codegen / box / classes Ċ package Ġfoo Ċ Ċ interface ĠFirst Ġ{ ĊĠĠĠ Ġpublic Ġopen Ġfun Ġfoo (): ĠInt Ċ } Ċ Ċ interface ĠSecond Ġ: ĠFirst Ġ{ ĊĠĠĠ Ġpublic Ġopen Ġfun Ġbar (): ĠInt Ċ } Ċ Ċ class ĠImp l Ġ: ĠSecond Ġ{ ĊĠĠĠ Ġpublic Ġoverride Ġfun Ġfoo () Ġ= Ġ 1 ĊĠĠĠ Ġpublic Ġoverride Ġfun Ġbar () Ġ= Ġ 2 Ċ } Ċ Ċ class ĠTest ( s : ĠSecond ) Ġ: ĠSecond Ġby Ġs Ġ{} Ċ Ċ fun Ġbox (): ĠString Ġ{ ĊĠĠĠ Ġvar Ġt Ġ= ĠTest ( Impl ()) ĊĠĠĠ Ġif Ġ( t . foo () Ġ!= Ġ 1 ) ĊĠĠĠĠĠĠĠ Ġreturn Ġ" Fail Ġ# 1 " ĊĠĠĠ Ġif Ġ( t . bar () Ġ!= Ġ 2 ) ĊĠĠĠĠĠĠĠ Ġreturn Ġ" Fail Ġ# 2 " ĊĠĠĠ Ġif Ġ( t Ġ! is ĠFirst ) ĊĠĠĠĠĠĠĠ Ġreturn Ġ" Fail Ġ# 3 " ĊĠĠĠ Ġif Ġ( t Ġ! is ĠSecond ) ĊĠĠĠĠĠĠĠ Ġreturn Ġ" Fail Ġ# 4 " ĊĊĠĠĠ Ġreturn Ġ" OK " Ċ } Ċ