kotlin-fork/compiler/testData/codegen/properties/syntheticMethod/inTrait.kt

import java.lang.annotation.*

Retention(RetentionPolicy.RUNTIME) annotation class SomeAnnotation(val value: String)

interface T {
    @SomeAnnotation("OK") val property: Int
}