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

package test

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

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