kotlin-fork/compiler/testData/loadKotlin/annotations/propertiesWithoutBackingFields/Trait.txt

package test

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

internal trait Trait {
    test.Anno() internal abstract val property: jet.Int
        internal abstract fun <get-property>(): jet.Int
}