File: Uninit.java

package info (click to toggle)

checker-framework-java 3.2.0%2Bds-1

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

// :: error: (initialization.fields.uninitialized)
public class Uninit {
    Object a;
}