File: Uninit7.java

package info (click to toggle)

checker-framework-java 3.2.0%2Bds-1

file content (7 lines) | stat: -rw-r--r-- 89 bytes

public class Uninit7 {
    Object f;

    Uninit7() {
        throw new Error();
    }
}