kotlin-fork/compiler/testData/loadJava/compiledKotlin/annotations/propertiesWithoutBackingFields/TraitClassObject.fir.txt

public final annotation class Anno : R|kotlin/Annotation| {
    public constructor(): R|test/Anno|

}

public abstract interface Trait : R|kotlin/Any| {
    public final companion object Companion : R|kotlin/Any| {
        @PROPERTY:R|test/Anno|() public final val property: R|kotlin/Int|
            public get(): R|kotlin/Int|

        private constructor(): R|test/Trait.Companion|

    }

}