// Ġ! CHECK _ TYPE Ċ Ċ interface ĠA Ġ{ ĊĠĠĠ Ġval Ġfoo : ĠAny ? Ċ } Ċ Ċ interface ĠC : ĠA Ġ{ ĊĠĠĠ Ġoverride Ġval Ġfoo : ĠString Ċ } Ċ interface ĠB : ĠA Ġ{ ĊĠĠĠ Ġoverride Ġvar Ġfoo : ĠString ? Ċ } Ċ Ċ fun Ġ< T > Ġtest ( a : ĠT ) Ġwhere ĠT Ġ: ĠB , ĠT Ġ: ĠC Ġ{ ĊĠĠĠ Ġa . foo Ġ= Ġ"" ĊĠĠĠ Ġa . foo Ġ= Ġnull ĊĊĠĠĠ Ġa . foo . check Type Ġ{ Ġ<! UN RESOL VED _ REFERENCE _ WRONG _ RECE IVER ! >_ <! >< String >() Ġ} Ċ } Ċ