compiler/testData/loadJava/compiledKotlin/fromLoadJava/FinalFieldAsVal.fir.txt

public final class FinalFieldAsVal : R|kotlin/Any| {
    public final val f: R|kotlin/Int|
        public get(): R|kotlin/Int|

    public constructor(): R|test/FinalFieldAsVal|

}