// RUN_PIPELINE_TILL: BACKEND
// FILE: JavaClass.java

public class JavaClass {
    protected String field;

    public String getField() {
        return field;
    }
}

// FILE: test.kt
fun test(jc: JavaClass) {
    jc.field
}

/* GENERATED_FIR_TAGS: flexibleType, functionDeclaration, javaProperty, javaType */
