FILE: operatorsOverLiterals.kt
    public final fun foo(x: R|kotlin/Int|): R|kotlin/Unit| {
    }
    public final fun foo(x: R|kotlin/Byte|): R|kotlin/Unit| {
    }
    public final fun test_0(): R|kotlin/Unit| {
        R|/foo|(Int(1))
    }
    public final fun test_1(): R|kotlin/Unit| {
        lval x1: R|kotlin/Int| = Int(1).R|kotlin/Int.plus|(Int(1))
        lval x2: R|kotlin/Int| = Int(1).R|kotlin/Int.plus|(Int(1))
        Int(1).R|kotlin/Int.plus|(Int(1))
        Int(127).R|kotlin/Int.plus|(Int(1))
        lval x3: R|kotlin/Int| = Int(2000000000).R|kotlin/Int.times|(Int(4))
    }
    public final fun test_2(n: R|kotlin/Int|): R|kotlin/Unit| {
        lval x: R|kotlin/Int| = Int(1).R|kotlin/Int.plus|(R|<local>/n|)
        lval y: R|kotlin/Int| = R|<local>/n|.R|kotlin/Int.plus|(Int(1))
    }
    public final fun R|kotlin/Int|.bar(): R|kotlin/Int| {
    }
    public final fun R|kotlin/Int|.baz(): R|kotlin/Int| {
    }
    public final fun R|kotlin/Byte|.baz(): R|kotlin/Byte| {
    }
    public final fun test_3(): R|kotlin/Unit| {
        lval x: R|kotlin/Int| = Int(1).R|/bar|()
        lval y: R|kotlin/Int| = Int(1).R|/baz|()
    }
    public final fun takeByte(b: R|kotlin/Byte|): R|kotlin/Unit| {
    }
    public final fun test_4(): R|kotlin/Unit| {
        <Inapplicable(INAPPLICABLE): /takeByte>#(Int(1).R|kotlin/Int.plus|(Int(1)))
        <Inapplicable(INAPPLICABLE): /takeByte>#(Int(1).R|kotlin/Int.plus|(Int(127)))
        <Inapplicable(INAPPLICABLE): /takeByte>#(Int(1).R|kotlin/Int.minus|(Int(1)))
        <Inapplicable(INAPPLICABLE): /takeByte>#(Int(-100).R|kotlin/Int.minus|(Int(100)))
        <Inapplicable(INAPPLICABLE): /takeByte>#(Int(10).R|kotlin/Int.times|(Int(10)))
        <Inapplicable(INAPPLICABLE): /takeByte>#(Int(100).R|kotlin/Int.times|(Int(100)))
        <Unresolved name: taleByte>#(Int(10).R|kotlin/Int.div|(Int(10)))
        <Inapplicable(INAPPLICABLE): /takeByte>#(Int(100).R|kotlin/Int.rem|(Int(10)))
        <Inapplicable(INAPPLICABLE): /takeByte>#(Int(1000).R|kotlin/Int.rem|(Int(10)))
        <Inapplicable(INAPPLICABLE): /takeByte>#(Int(1000).R|kotlin/Int.and|(Int(100)))
        <Inapplicable(INAPPLICABLE): /takeByte>#(Int(128).R|kotlin/Int.and|(Int(511)))
        <Inapplicable(INAPPLICABLE): /takeByte>#(Int(100).R|kotlin/Int.or|(Int(100)))
        <Inapplicable(INAPPLICABLE): /takeByte>#(Int(1000).R|kotlin/Int.or|(Int(0)))
        <Inapplicable(INAPPLICABLE): /takeByte>#(Int(511).R|kotlin/Int.xor|(Int(511)))
        <Inapplicable(INAPPLICABLE): /takeByte>#(Int(512).R|kotlin/Int.xor|(Int(511)))
    }
    public final fun test_5(): R|kotlin/Unit| {
        R|/takeByte|(Byte(-1))
        R|/takeByte|(Byte(1))
        <Inapplicable(INAPPLICABLE): /takeByte>#(Int(1).R|kotlin/Int.inv|())
    }
    public final fun test_6(): R|kotlin/Unit| {
        <Inapplicable(INAPPLICABLE): /takeByte>#(R|kotlin/run|<R|kotlin/Int|>(<L> = run@fun <anonymous>(): R|kotlin/Int| <inline=Inline, kind=EXACTLY_ONCE>  {
            ^ Int(127).R|kotlin/Int.plus|(Int(1))
        }
        ))
        <Inapplicable(INAPPLICABLE): /takeByte>#(Int(1).R|kotlin/Int.plus|(R|kotlin/run|<R|kotlin/Int|>(<L> = run@fun <anonymous>(): R|kotlin/Int| <inline=Inline, kind=EXACTLY_ONCE>  {
            ^ Int(1)
        }
        )))
        <Inapplicable(INAPPLICABLE): /takeByte>#(R|kotlin/run|<R|kotlin/Int|>(<L> = run@fun <anonymous>(): R|kotlin/Int| <inline=Inline, kind=EXACTLY_ONCE>  {
            ^ Int(1).R|kotlin/Int.plus|(Int(1))
        }
        ))
        Int(1).R|kotlin/Int.plus|(Int(1))
        R|kotlin/run|<R|kotlin/Int|>(<L> = run@fun <anonymous>(): R|kotlin/Int| <inline=Inline, kind=EXACTLY_ONCE>  {
            ^ Int(1)
        }
        )
        Int(1).R|kotlin/Int.plus|(R|kotlin/run|<R|kotlin/Int|>(<L> = run@fun <anonymous>(): R|kotlin/Int| <inline=Inline, kind=EXACTLY_ONCE>  {
            ^ Int(1)
        }
        ))
    }
    public final fun test_7(d: R|kotlin/Double|): R|kotlin/Unit| {
        lval x1: R|kotlin/Double| = Int(1).R|kotlin/Int.plus|(R|<local>/d|)
        lval x2: R|kotlin/Double| = R|<local>/d|.R|kotlin/Double.plus|(Int(1))
    }
