compiler/testData/loadJava/compiledJava/FinalFieldAsVal.fir.txt

public final class FinalFieldAsVal : R|kotlin/Any| {
    public final field f: R|kotlin/Int| = Int(1)

    public constructor(): R|test/FinalFieldAsVal|

}