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

package test

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

public final class Class {
    /*primary*/ public constructor Class()
    @test.Anno() public final val property: kotlin.Int
        public final fun <get-property>(): kotlin.Int
}