package Ġfoo Ċ Ċ import Ġorg . jetbrains . kotlin . fir . plugin . D Ċ Ċ interface ĠMy Interface Ġ{ ĊĠĠĠ Ġfun Ġfoo () Ċ } Ċ Ċ @ D Ċ abstract Ġclass ĠAbstract Class Ċ Ċ @ D Ċ class ĠFinal Class With Override Ġ{ ĊĠĠĠ Ġoverride Ġfun Ġfoo () Ġ{} Ċ } Ċ Ċ @ D Ċ <! AB STR ACT _ MEMBER _ NOT _ IMPLEMENTED !> class ĠFinal Class Without Override <! > Ġ{ ĊĠĠĠ Ġ// Ġshould Ġbe Ġerror Ċ } Ċ Ċ class ĠNot Annotated With Override Ġ{ ĊĠĠĠ Ġ// Ġshould Ġbe Ġerror ĊĠĠĠ Ġ<! NOTH ING _ TO _ OVERRIDE !> override <! > Ġfun Ġfoo () Ġ{} Ċ } Ċ Ċ @ D Ċ class ĠAnnot ated Class With Explicit Inheritance Ġ: ĠMy Interface Ġ{ ĊĠĠĠ Ġoverride Ġfun Ġfoo () Ġ{} Ċ } Ċ Ċ fun Ġtest _ 1 ( x : ĠAbstract Class ) Ġ{ ĊĠĠĠ Ġx . foo () Ċ } Ċ Ċ fun Ġtest _ 2 ( x : ĠFinal Class With Override ) Ġ{ ĊĠĠĠ Ġx . foo () Ċ } Ċ Ċ fun Ġtest _ 3 ( x : ĠFinal Class Without Override ) Ġ{ ĊĠĠĠ Ġx . foo () Ċ } Ċ