// ĠOriginal Ġbug : ĠK T - 3 8 9 8 9 Ċ Ċ sealed Ġclass ĠA Ġ{} Ċ Ċ sealed Ġclass ĠB Ġ: ĠA () Ċ class ĠC Ġ: ĠA () Ċ Ċ sealed Ġclass ĠD Ġ: ĠB () Ċ sealed Ġclass ĠE Ġ: ĠB () Ċ Ċ interface ĠW Ġ{ ĊĠĠĠ Ġfun Ġfoo () Ġ{} Ċ } Ċ Ċ fun Ġmain ( a : ĠA , Ġw : ĠW ) Ġ{ ĊĠĠĠ Ġreturn Ġwhen Ġ( a ) Ġ{ ĊĠĠĠĠĠĠĠ Ġis ĠC Ġ-> Ġw ĊĠĠĠĠĠĠĠ Ġis ĠD Ġ-> Ġw ĊĠĠĠĠĠĠĠ Ġis ĠE Ġ-> Ġw ĊĠĠĠ Ġ}. foo () Ġ// ĠUn resolved Ġreference , Ġworks Ġin ĠFE Ġ 1 . 0 Ċ } Ċ