// ĠOriginal Ġbug : ĠK T - 2 8 2 3 3 Ċ Ċ // Foo . kt Ċ interface ĠFoo Ġ{ ĊĠĠĠ Ġval Ġvalues : ĠType Ċ } Ċ // Foo Impl . kt Ċ class ĠFoo Impl Ġ: ĠFoo Ġ{ ĊĠĠĠ Ġoverride Ġval Ġvalues : ĠType ĊĠĠĠĠĠĠĠ Ġget () Ġ= Ġ" 0 " Ċ } Ċ // types . kt Ċ type alias ĠType Ġ= ĠString Ċ