checker/tests/nullness/Issue829.java

// Test case for Issue 829
// https://github.com/typetools/checker-framework/issues/829

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

public class Issue829 {
  public static @Nullable Double getDouble(boolean flag) {
    return flag ? null : 1.0;
  }

  public static Double getDoubleError(boolean flag) {
    // :: error: (return)
    return flag ? null : 1.0;
  }
}