// WITH_REFLECT
// TARGET_BACKEND: JVM

@Target(AnnotationTarget.FIELD)
annotation class Ann

class C {
    @Ann
    lateinit var x0: String
}

fun box(): String {
    require(C::class.java.getDeclaredField("x0")?.getAnnotation(Ann::class.java) != null)
    return "OK"
}
