package test

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

public final class Class {
    /*primary*/ public constructor Class()

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