FILE: floorDiv.kt
    @R|kotlin/annotation/Retention|(value = Q|kotlin/annotation/AnnotationRetention|.R|kotlin/annotation/AnnotationRetention.RUNTIME| [evaluated = Q|kotlin/annotation/AnnotationRetention|.R|kotlin/annotation/AnnotationRetention.RUNTIME|]) public final annotation class Ann : R|kotlin/Annotation| {
        public constructor(b: R|kotlin/Byte|, s: R|kotlin/Short|, i: R|kotlin/Int|, l: R|kotlin/Long|): R|Ann| {
            super<R|kotlin/Any|>()
        }

        public final val b: R|kotlin/Byte| = R|<local>/b|
            public get(): R|kotlin/Byte|

        public final val s: R|kotlin/Short| = R|<local>/s|
            public get(): R|kotlin/Short|

        public final val i: R|kotlin/Int| = R|<local>/i|
            public get(): R|kotlin/Int|

        public final val l: R|kotlin/Long| = R|<local>/l|
            public get(): R|kotlin/Long|

    }
    @R|Ann|(b = Int(10).R|kotlin/floorDiv|(Int(3)) [evaluated = Byte(3)], s = Int(10).R|kotlin/floorDiv|(Int(-4)) [evaluated = Short(-3)], i = Int(-10).R|kotlin/floorDiv|(Int(5)) [evaluated = Int(-2)], l = Int(-10).R|kotlin/floorDiv|(Int(-6)) [evaluated = Long(1)]) public final class MyClass : R|kotlin/Any| {
        public constructor(): R|MyClass| {
            super<R|kotlin/Any|>()
        }

    }
    public final fun box(): R|kotlin/String| {
        lval annotation: R|Ann| = <getClass>(Q|MyClass|).R|kotlin/jvm/java|<R|MyClass|>.R|SubstitutionOverride<java/lang/Class.getAnnotation: R|A!|>|<R|Ann!|>(<getClass>(Q|Ann|).R|kotlin/jvm/java|<R|Ann|>)!!
        when () {
            !=(R|<local>/annotation|.R|/Ann.b|, Int(3).R|kotlin/Int.toByte|()) ->  {
                ^box String(fail 1)
            }
        }

        when () {
            !=(R|<local>/annotation|.R|/Ann.s|, Int(-3).R|kotlin/Int.toShort|()) ->  {
                ^box String(fail 2)
            }
        }

        when () {
            !=(R|<local>/annotation|.R|/Ann.i|, Int(-2)) ->  {
                ^box String(fail 3)
            }
        }

        when () {
            !=(R|<local>/annotation|.R|/Ann.l|, Long(1)) ->  {
                ^box String(fail 4)
            }
        }

        ^box String(OK)
    }
