// ĠFILE : ĠA . java Ċ // ĠAND ROID _ AN NOT ATIONS Ċ Ċ import Ġkotlin . annotations . jvm . internal .*; Ċ Ċ public Ġclass ĠA Ġ{ ĊĠĠĠ Ġpublic Ġvoid Ġfoo (@ Default Null ĠInteger Ġi ) Ġ{} ĊĊĠĠĠ Ġpublic Ġvoid Ġbar (@ Default Null ĠInteger Ġa ) Ġ{} ĊĊĠĠĠ Ġpublic Ġvoid Ġb am (@ Default Null ĠInteger Ġa ) Ġ{} ĊĊĠĠĠ Ġpublic Ġvoid Ġbaz (@ DefaultValue (" 4 2 ") ĠInteger Ġa ) Ġ{} Ċ } Ċ Ċ // ĠFILE : ĠA Int . java Ċ import Ġkotlin . annotations . jvm . internal .*; Ċ Ċ public Ġinterface ĠA Int Ġ{ ĊĠĠĠ Ġpublic Ġvoid Ġfoo (@ DefaultValue (" 4 2 ") ĠInteger Ġi ) Ġ{} ĊĠĠĠ Ġpublic Ġvoid Ġbar (@ Default Null ĠInteger Ġa ) Ġ{} Ċ } Ċ Ċ // ĠFILE : ĠB . java Ċ import Ġkotlin . annotations . jvm . internal .*; Ċ Ċ public Ġclass ĠB Ġextends ĠA Ġ{ ĊĠĠĠ Ġpublic Ġvoid Ġfoo ( Integer Ġi ) Ġ{} ĊĊĠĠĠ Ġpublic Ġvoid Ġbar (@ DefaultValue (" 4 2 ") ĠInteger Ġa ) Ġ{} ĊĊĠĠĠ Ġpublic Ġvoid Ġb am (@ Default Null Ġ@ DefaultValue (" 4 2 ") ĠInteger Ġa ) Ġ{} Ċ } Ċ Ċ // ĠFILE : ĠC . java Ċ public Ġclass ĠC Ġextends ĠA Ġimplements ĠA Int Ġ{ Ċ } Ċ Ċ // ĠFILE : Ġtest . kt Ċ Ċ fun Ġtest ( b : ĠB , Ġc : ĠC ) Ġ{ ĊĠĠĠ Ġb . foo () ĊĠĠĠ Ġb . foo ( 5 ) ĊĠĠĠ Ġb . bar () ĊĠĠĠ Ġb . bar ( 5 ) ĊĠĠĠ Ġb . bam () ĊĠĠĠ Ġb . bam ( 5 ) ĊĊĠĠĠ Ġc . foo () ĊĠĠĠ Ġc . foo ( 5 ) ĊĠĠĠ Ġc . bar () ĊĠĠĠ Ġc . bar ( 5 ) ĊĠĠĠ Ġc . bam () ĊĠĠĠ Ġc . bam ( 5 ) ĊĠĠĠ Ġc . baz () ĊĠĠĠ Ġc . baz ( 4 2 ) Ċ } Ċ