checker/tests/nullness/UnboxConditions.java

public class UnboxConditions {
  public static void main(String[] args) {
    Boolean b = null;
    Boolean b1 = null;
    Boolean b2 = null;
    Boolean b3 = null;
    Boolean b4 = null;
    // :: error: (condition.nullable)
    if (b) {}
    // :: error: (condition.nullable)
    b = b1 ? b : b;
    // :: error: (condition.nullable)
    while (b2) {}
    do {
      // :: error: (condition.nullable)
    } while (b3);
    // :: error: (condition.nullable)
    for (; b4; ) {}
    // legal!
    for (; ; ) {
      break;
    }
    // Eliding the condition in a "while" is illegal Java syntax.
    // while () {}
  }
}