compiler/testData/codegen/box/collectionLiterals/defaultAnnotationParameterValues.kt

// TARGET_BACKEND: JVM
// WITH_REFLECT

// JVM_ABI_K1_K2_DIFF: K2 serializes annotation parameter default values (KT-59526).
// NO_CHECK_LAMBDA_INLINING

// FILE: lib.kt
import kotlin.reflect.KFunction0

inline fun <reified T> test(kFunction: KFunction0<Unit>, test: T.() -> String): String {
    val annotation = kFunction.annotations.single() as T
    return annotation.test()
}

// FILE: main.kt
import kotlin.reflect.KClass
fun check(b: Boolean, message: String) {
    if (!b) throw RuntimeException(message)
}

annotation class Foo(
        val a: IntArray = [],
        val b: IntArray = [1, 2, 3],
        val c: Array<String> = ["/"],
        val d: Array<KClass<*>> = [Int::class, Array<Int>::class],
        val e: DoubleArray = [1.0]
)

@Foo
fun withAnn() {}

fun box(): String {
    return test<Foo>(::withAnn) {
        check(a.contentEquals(intArrayOf()), "Fail 1: ${a.joinToString()}")
        check(b.contentEquals(intArrayOf(1, 2, 3)), "Fail 2: ${b.joinToString()}")
        check(c.contentEquals(arrayOf("/")), "Fail 3: ${c.joinToString()}")
        check(d.contentEquals(arrayOf(Int::class, Array<Int>::class)), "Fail 4: ${d.joinToString()}")
        check(e.contentEquals(doubleArrayOf(1.0)), "Fail 5: ${e.joinToString()}")
        "OK"
    }
}