FILE: stringOperations.kt
    public final fun <T> R|T|.id(): R|T| {
        ^id this@R|/id|
    }
    public final const [EvaluatedValue=String(123)] val someStr: R|kotlin/String| = String(123)
        public get(): R|kotlin/String|
    public final const [EvaluatedValue=String(other)] val otherStr: R|kotlin/String| = String(other)
        public get(): R|kotlin/String|
    public final const [EvaluatedValue=Int(1)] val oneVal: R|kotlin/Int| = Int(1)
        public get(): R|kotlin/Int|
    public final const [EvaluatedValue=UInt(1)] val oneUnsignedVal: R|kotlin/UInt| = UInt(1)
        public get(): R|kotlin/UInt|
    public final const [EvaluatedValue=String(123other)] val plus1: R|kotlin/String| = R|/someStr|.R|kotlin/String.plus|(R|/otherStr|)
        public get(): R|kotlin/String|
    public final const [EvaluatedValue=String(1231)] val plus2: R|kotlin/String| = R|/someStr|.R|kotlin/String.plus|(R|/oneVal|)
        public get(): R|kotlin/String|
    public final const [EvaluatedValue=String(1231)] val plus3: R|kotlin/String| = R|/someStr|.R|kotlin/String.plus|(R|/oneUnsignedVal|)
        public get(): R|kotlin/String|
    public final const [EvaluatedValue=Int(3)] val length1: R|kotlin/Int| = R|/someStr|.R|kotlin/String.length|
        public get(): R|kotlin/Int|
    public final const [EvaluatedValue=Int(5)] val length2: R|kotlin/Int| = R|/otherStr|.R|kotlin/String.length|
        public get(): R|kotlin/Int|
    public final const [EvaluatedValue=Char(1)] val get1: R|kotlin/Char| = R|/someStr|.R|kotlin/String.get|(Int(0))
        public get(): R|kotlin/Char|
    public final const [EvaluatedValue=Char(t)] val get2: R|kotlin/Char| = R|/otherStr|.R|kotlin/String.get|(R|/oneVal|)
        public get(): R|kotlin/Char|
    public final const [EvaluatedValue=Int(0)] val compareTo1: R|kotlin/Int| = R|/someStr|.R|kotlin/String.compareTo|(String(123))
        public get(): R|kotlin/Int|
    public final const [EvaluatedValue=Int(-62)] val compareTo2: R|kotlin/Int| = R|/someStr|.R|kotlin/String.compareTo|(R|/otherStr|)
        public get(): R|kotlin/Int|
    public final const [EvaluatedValue=Int(62)] val compareTo3: R|kotlin/Int| = R|/otherStr|.R|kotlin/String.compareTo|(R|/someStr|)
        public get(): R|kotlin/Int|
    public final const [EvaluatedValue=Boolean(true)] val equals1: R|kotlin/Boolean| = ==(R|/someStr|, String(123))
        public get(): R|kotlin/Boolean|
    public final const [EvaluatedValue=Boolean(false)] val equals2: R|kotlin/Boolean| = ==(R|/someStr|, R|/otherStr|)
        public get(): R|kotlin/Boolean|
    public final const [EvaluatedValue=Boolean(false)] val equals3: R|kotlin/Boolean| = ==(R|/otherStr|, R|/someStr|)
        public get(): R|kotlin/Boolean|
    public final const [EvaluatedValue=String(123)] val toString1: R|kotlin/String| = R|/someStr|.R|kotlin/String.toString|()
        public get(): R|kotlin/String|
    public final fun box(): R|kotlin/String| {
        when () {
            !=(R|/plus1|.R|/id|<R|kotlin/String|>(), String(123other)) ->  {
                ^box String(Fail 1.1)
            }
        }

        when () {
            !=(R|/plus2|.R|/id|<R|kotlin/String|>(), String(1231)) ->  {
                ^box String(Fail 1.2)
            }
        }

        when () {
            !=(R|/plus3|.R|/id|<R|kotlin/String|>(), String(1231)) ->  {
                ^box String(Fail 1.3)
            }
        }

        when () {
            !=(R|/length1|.R|/id|<R|kotlin/Int|>(), Int(3)) ->  {
                ^box String(Fail 2.1)
            }
        }

        when () {
            !=(R|/length2|.R|/id|<R|kotlin/Int|>(), Int(5)) ->  {
                ^box String(Fail 2.2)
            }
        }

        when () {
            !=(R|/get1|.R|/id|<R|kotlin/Char|>(), Char(1)) ->  {
                ^box String(Fail 3.1)
            }
        }

        when () {
            !=(R|/get2|.R|/id|<R|kotlin/Char|>(), Char(t)) ->  {
                ^box String(Fail 3.2)
            }
        }

        when () {
            !=(R|/compareTo1|.R|/id|<R|kotlin/Int|>(), Int(0)) ->  {
                ^box String(Fail 4.1)
            }
        }

        when () {
            CMP(>=, R|/compareTo2|.R|kotlin/Int.compareTo|(Int(0))) ->  {
                ^box String(Fail 4.2)
            }
        }

        when () {
            CMP(<=, R|/compareTo3|.R|kotlin/Int.compareTo|(Int(0))) ->  {
                ^box String(Fail 4.3)
            }
        }

        when () {
            !=(R|/equals1|.R|/id|<R|kotlin/Boolean|>(), Boolean(true)) ->  {
                ^box String(Fail 5.1)
            }
        }

        when () {
            !=(R|/equals2|.R|/id|<R|kotlin/Boolean|>(), Boolean(false)) ->  {
                ^box String(Fail 5.2)
            }
        }

        when () {
            !=(R|/equals3|.R|/id|<R|kotlin/Boolean|>(), Boolean(false)) ->  {
                ^box String(Fail 5.3)
            }
        }

        when () {
            !=(R|/toString1|.R|/id|<R|kotlin/String|>(), String(123)) ->  {
                ^box String(Fail 6.1)
            }
        }

        ^box String(OK)
    }
