FILE: topLevelResolve.kt public final fun testPlus(): R|kotlin/Unit| { lval x: R|kotlin/Int| = Int(1).R|kotlin/Int.plus|(Int(2)) lval y: R|kotlin/Double| = Double(3.0).R|kotlin/Double.plus|(Double(4.0)) lval z: R|kotlin/Double| = Int(5).R|kotlin/Int.plus|(Double(6.0)) lval w: R|kotlin/Double| = Double(7.0).R|kotlin/Double.plus|(Int(8)) lval c: R|kotlin/Char| = Char(a).R|kotlin/Char.plus|(Int(1)) lval s: R|kotlin/String| = String(.).R|kotlin/String.plus|(String(..)) lval ss: R|kotlin/String| = String().R|kotlin/String.plus|(Int(1)) lval list: R|kotlin/collections/List| = R|kotlin/collections/listOf|(vararg(Int(1), Int(2), Int(3))).R|kotlin/collections/plus|(Int(4)) lval listAndList: R|kotlin/collections/List| = R|kotlin/collections/listOf|(vararg(Int(4), Int(5), Int(6))).R|kotlin/collections/plus|(R|kotlin/collections/listOf|(vararg(Int(7), Int(8)))) lval mutableList: R|kotlin/collections/List| = R|kotlin/collections/mutableListOf|(vararg(Int(9), Int(10))).R|kotlin/collections/plus|(R|kotlin/collections/listOf|(vararg(Int(11), Int(12), Int(13)))) lval setAndList: R|kotlin/collections/Set| = R|kotlin/collections/setOf|(Int(0)).R|kotlin/collections/plus|(R|kotlin/collections/listOf|(vararg(Int(1), Int(2)))) lval stringAndList: R|kotlin/String| = String().R|kotlin/String.plus|(R|kotlin/collections/emptyList|()) lval map: R|kotlin/collections/Map| = R|kotlin/collections/mapOf|(vararg(String().R|kotlin/to|(Int(1)), String(.).R|kotlin/to|(Int(2)))).R|kotlin/collections/plus|(String(..).R|kotlin/to|(Int(3))) lval mapAndMap: R|kotlin/collections/Map| = R|kotlin/collections/mapOf|(String(-).R|kotlin/to|(Int(4))).R|kotlin/collections/plus|(R|kotlin/collections/mapOf|(String(_).R|kotlin/to|(Int(5)))) } public final fun id(arg: R|T|): R|T| { ^id R|/arg| } public final fun testMap(): R|kotlin/Unit| { lval first: R|kotlin/collections/List| = R|kotlin/collections/listOf|(vararg(Int(1), Int(2), Int(3))).R|kotlin/collections/map|( = map@fun (it: R|kotlin/Int|): R|kotlin/Int| { ^ R|/it|.R|kotlin/Int.times|(Int(2)) } ) lval second: R|kotlin/collections/List| = R|kotlin/intArrayOf|(vararg(Int(4), Int(5), Int(6))).R|kotlin/collections/map|( = map@fun (it: R|kotlin/Int|): R|kotlin/Int| { ^ R|/it|.R|kotlin/Int.times|(Int(2)) } ) lval withId: R|kotlin/collections/List| = R|kotlin/collections/listOf|(vararg(Int(1), Int(2), Int(3))).R|kotlin/collections/map|( = map@fun (it: R|kotlin/Int|): R|kotlin/Int| { ^ R|/id|(R|/it|) } ) lval stringToInt: R|kotlin/collections/List| = R|kotlin/collections/listOf|(vararg(String(alpha), String(omega))).R|kotlin/collections/map|( = map@fun (it: R|kotlin/String|): R|kotlin/Int| { ^ R|/it|.R|kotlin/String.length| } ) lval viaWith: R|kotlin/collections/List| = R|kotlin/with||, R|kotlin/collections/List|>(R|kotlin/collections/listOf|(Int(42)), = with@fun R|kotlin/collections/List|.(): R|kotlin/collections/List| { ^ this@R|special/anonymous|.R|kotlin/collections/map|( = map@fun (it: R|kotlin/Int|): R|kotlin/Int| { ^ R|/it|.R|kotlin/Int.times|(R|/it|) } ) } ) } public final fun testWith(): R|kotlin/Unit| { lval length: R|kotlin/Int| = R|kotlin/with|(String(), = with@fun R|kotlin/String|.(): R|kotlin/Int| { ^ this@R|special/anonymous|.R|kotlin/String.length| } ) lval indices: R|kotlin/ranges/IntRange| = R|kotlin/with|(String(), = with@fun R|kotlin/String|.(): R|kotlin/ranges/IntRange| { ^ this@R|special/anonymous|.R|kotlin/text/indices| } ) lval indicesNoWith: R|kotlin/ranges/IntRange| = String().R|kotlin/text/indices| }