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

public abstract interface A : R|kotlin/Any| {
    public open val v: R|kotlin/String|
        public get(): R|kotlin/String|

}