Class A

src/test/resources/pta/contextsensitivity/TwoType.java:12–24

}

class A {
    void a() {
        List l1 = new List();
        l1.add(new Object());
        List l2 = new List();
        l2.add(new Object());

        Iterator i1 = l1.iterator();
        Object o1 = i1.next();
        Iterator i2 = l2.iterator();
        Object o2 = i2.next();
    }
}

class B {
    void b() {