Interface I1

src/test/resources/pta/basic/Dispatch2.java:7–9

    }

    static interface I1 {
        public void foo();
    }

    static interface I2 extends I1 {
    }