import org.checkerframework.checker.initialization.qual.*;
import org.checkerframework.checker.nullness.qual.*;

// :: error: (initialization.static.fields.uninitialized)
class StaticInitializer {

    public static String a;
    public static String b;

    static {
        a = "";
    }

    public StaticInitializer() {}
}

// :: error: (initialization.static.fields.uninitialized)
class StaticInitializer2 {
    public static String a;
    public static String b;
}

class StaticInitializer3 {
    public static String a = "";
}

class StaticInitializer4 {
    public static String a = "";
    public static String b;

    static {
        b = "";
    }
}

class StaticInitializer5 {
    public static String a = "";

    static {
        a.toString();
    }

    public static String b = "";
}

class StaticInitializer6 {
    public static String a = "";

    public static String b;

    static {
        // TODO error expected. See #556.
        b.toString();
    }

    static {
        b = "";
    }
}