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
}