File: C3.java

package info (click to toggle)

checker-framework-java 3.0.1%2Bds2-3

file content (9 lines) | stat: -rw-r--r-- 145 bytes

public class C3 {
    void m() {
        class C3b {
            void bad(XXX p) {
                p.toString();
            }
        }
    }
}