File: C3.java

package info (click to toggle)

checker-framework-java 3.2.0%2Bds-1

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

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