kotlin/compiler/testData/loadJava/compiledKotlin/annotations/propertiesWithoutBackingFields/NestedTrait.kt

// IGNORE_BACKEND: JVM_IR
package test

annotation class Anno

class Class {
    interface Trait {
        @[Anno] val property: Int
    }
}