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

package test

public final annotation class Anno : kotlin.Annotation {
    /*primary*/ public constructor Anno()
}

public final class Class {
    /*primary*/ public constructor Class()

    public interface Trait {
        @test.Anno public abstract val property: kotlin.Int
            public abstract fun <get-property>(): kotlin.Int
    }
}