pyos
16 lines
272 B
Kotlin
Vendored
16 lines
272 B
Kotlin
Vendored
// 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"
|
|
}
|