// Ġ! CHECK _ TYPE Ċ Ċ interface ĠA Ġ{ ĊĠĠĠ Ġfun Ġfoo (): ĠCharSequence Ċ } Ċ Ċ interface ĠB Ġ{ ĊĠĠĠ Ġfun Ġfoo (): ĠString ? Ċ } Ċ Ċ fun Ġtest ( c : ĠAny ) Ġ{ ĊĠĠĠ Ġif Ġ( c Ġis ĠB Ġ&& Ġc Ġis ĠA ) Ġ{ ĊĠĠĠĠĠĠĠ Ġc .< ! AM BIG U ITY !> foo <! >() ĊĠĠĠ Ġ} Ċ } Ċ