Class A

src/test/resources/pta/contextsensitivity/TwoCallOnly.java:17–27

}

class A {
    X x;

    A(X x) {
        this.x = x;
    }

    X fun(B b) {
        return b.get(this.x);
    }
}

class X {
}