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.type.incompatible)
        return flag ? null : 1.0;
    }
}