Class A

src/test/resources/pta/contextsensitivity/OneType.java:8–16

}

class A {
    void m() {
        C c1 = new C();
        c1.set(new D());
        C c2 = new C();
        c2.set(new D());
        D x = c1.get();
    }
}

class B {
    void m() {