compiler/testData/loadJava/compiledKotlin/classFun/TraitOpenFun.fir.txt

public abstract interface A : R|kotlin/Any| {
    public open fun f(): R|kotlin/String|

}