checker/tests/nullness/InitThrows.java

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

public class InitThrows {
  private final Object o;

  {
    try {
      o = new Object();
    } catch (Exception e) {
      throw new RuntimeException(e);
    }
  }
}