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