FILE: main.kt public final fun main(): R|kotlin/Unit| { Q|JavaUsage|.R|/JavaUsage.foo1*s|( = SAM(foo1@fun (x: R|kotlin/Int!|): R|kotlin/String!| { ^ R|/x|.R|kotlin/Int.toInt|().R|kotlin/Int.toString|() } )) Q|JavaUsage|.R|/JavaUsage.foo2*s|( = SAM(foo2@fun (x: R|kotlin/Number!|): R|kotlin/CharSequence!| { ^ R|/x|.R|kotlin/Number.toInt|().R|kotlin/Int.toString|() } )) Q|JavaUsage|.R|/JavaUsage.foo2*s#|( = foo2@fun (x: R|kotlin/Int|): R|kotlin/CharSequence!| { ^ R|/x|.R|kotlin/Int.toString|() } ) Q|JavaUsage|.R|/JavaUsage.foo3*s|(SAM(foo3@fun (x: R|kotlin/Int!|): R|kotlin/String!| { ^ R|/x|.R|kotlin/Int.plus|(Int(1)).R|kotlin/Int.toString|() } ), Int(1)) Q|JavaUsage|.R|/JavaUsage.foo3*s|(SAM(foo3@fun (x: R|kotlin/Number|): R|kotlin/String!| { ^ R|/x|.R|kotlin/Number.toInt|().R|kotlin/Int.toString|() } ), Int(2)) }