// Ġ! WITH _ NEW _ IN FER ENCE Ċ // Ġ! CHECK _ TYPE Ċ Ċ // ĠFILE : ĠStatic Overrides . java Ċ Ċ import Ġkotlin . Unit ; Ċ import Ġkotlin . jvm . functions . Function 0 ; Ċ Ċ public Ġclass ĠStatic Overrides Ġ{ ĊĠĠĠ Ġpublic Ġstatic Ġclass ĠA Ġ{ ĊĠĠĠĠĠĠĠ Ġpublic Ġstatic Ġint Ġfoo ( Runnable Ġx ) Ġ{ Ġreturn Ġ 0 ; Ġ} ĊĠĠĠĠĠĠĠ Ġpublic Ġstatic Ġboolean Ġfoo ( Function 0 < Unit > Ġx ) Ġ{ Ġreturn Ġtrue ; Ġ} ĊĠĠĠ Ġ} ĊĊĠĠĠ Ġpublic Ġstatic Ġclass ĠB Ġ{ ĊĠĠĠĠĠĠĠ Ġpublic Ġstatic ĠString Ġfoo ( Runnable Ġx ) Ġ{ Ġreturn Ġ""; Ġ} ĊĠĠĠ Ġ} ĊĊĠĠĠ Ġpublic Ġstatic Ġclass ĠC Ġextends ĠA Ġ{ ĊĠĠĠĠĠĠĠ Ġpublic Ġstatic ĠString Ġfoo ( Runnable Ġx ) Ġ{ Ġreturn Ġ""; Ġ} ĊĠĠĠ Ġ} Ċ } Ċ Ċ // ĠFILE : Ġtest . kt Ċ Ċ fun Ġtest () Ġ{ ĊĠĠĠ ĠStatic Overrides . A .< ! AM BIG U ITY !> foo <! > Ġ{} Ġ<! IN AP PL IC ABLE _ C AND ID ATE !> check Type <! > Ġ{ Ġ<! IN AP PL IC ABLE _ C AND ID ATE ! >_ <! >< Boolean >() Ġ} ĊĠĠĠ ĠStatic Overrides . B . foo Ġ{} Ġcheck Type Ġ{ Ġ_ < String >() Ġ} ĊĠĠĠ ĠStatic Overrides . C .< ! AM BIG U ITY !> foo <! > Ġ{} Ġ<! IN AP PL IC ABLE _ C AND ID ATE !> check Type <! > Ġ{ Ġ<! IN AP PL IC ABLE _ C AND ID ATE ! >_ <! >< Boolean >() Ġ} Ċ } Ċ