// WITH_STDLIB
// IGNORE_K1
package a_

class `$-$` {
    @JvmInline
    value class `$-`(val `$-`: UInt) {
        context(_: Int, _: UInt, `$$-`: Int, `$$--`: UInt)
        fun `$-`.foo(x: Int, y: UInt) {
            val arg0 = 42
        }
    }
}

// METHOD : a_/$-$$$-.foo-sMXUCbs(IIIIIIII)V
// VARIABLE : NAME=$$- TYPE=I
// VARIABLE : NAME=$$-- TYPE=I
// VARIABLE : NAME=$context-Int TYPE=I
// VARIABLE : NAME=$context-UInt TYPE=I
// VARIABLE : NAME=$this$foo TYPE=I
// VARIABLE : NAME=arg0 TYPE=I
// VARIABLE : NAME=arg0 TYPE=I
// VARIABLE : NAME=x TYPE=I
// VARIABLE : NAME=y TYPE=I