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

package test

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

public interface Trait {

    public companion object Companion {
        /*primary*/ private constructor Companion()
        test.Anno() public final val property: kotlin.Int
            public final fun <get-property>(): kotlin.Int
    }
}