compiler/testData/codegen/box/fullValueClasses/interopWithInlineClasses.kt

// LANGUAGE: +FullValueClasses
// CHECK_BYTECODE_LISTING
// WORKS_WHEN_VALUE_CLASS

OPTIONAL_JVM_INLINE_ANNOTATION
value class InnerInline(val x: Int) {
    fun f(z: InnerInline) {}
    fun g(t: FullValue) {}
    fun h(t1: OuterInline) {}
}

value class FullValue(val x: InnerInline, val y: InnerInline) {
    fun f(z: InnerInline) {}
    fun g(t: FullValue) {}
    fun h(t1: OuterInline) {}
}

OPTIONAL_JVM_INLINE_ANNOTATION
value class OuterInline(val x: FullValue) {
    fun f(z: InnerInline) {}
    fun g(t: FullValue) {}
    fun h(t1: OuterInline) {}
}

fun box(): String {
    val inner1 = InnerInline(1)
    val inner2 = InnerInline(2)
    require(inner1.x == 1)
    require(inner2.x == 2)

    val full = FullValue(inner1, inner2)
    require(full.x == inner1)
    require(full.y == inner2)

    val outer = OuterInline(full)
    require(outer.x == full)

    return "OK"
}