openide/plugins/kotlin/idea/tests/testData/multiModuleFindUsages/findExpectPropertyInJvm/jvm/Main.java

class Main {
    void m(C c) {
        int p = c.getP();
    }
}