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

package test

@kotlin.annotation.annotation() public final 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
    }
}