compiler/testData/loadJava/compiledKotlin/prop/TraitOpenVal.txt

package test

public interface A {
    public open val v: kotlin.String
        public open fun <get-v>(): kotlin.String
}