// Test for Checker Framework issue 353:
// https://github.com/typetools/checker-framework/issues/353
// There are also a couple of tests commented out in
// checker/tests/nullness/java8/lambda/Initialization.java

// @skip-test until the issue is fixed

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

public class StaticInitializer2 {

  static String a;

  static {
    // :: error: (dereference.of.nullable)
    a.toString();
  }
}