Return null through ternary operator does not give Type mismatch error

Returning null through a ternary operator does not give Type mismatch error. It should.

Code 1:

public double getValue() {
    return null;
}

null is error-underlined with the error [Java] Type mismatch: cannot convert from null to double.

Code 2:

public double getValue() {
    return value == null ? null : Double.parseDouble(value);
}

No errors shown on the returned null.

Code 3:

public double getValue() {
    if (value == null)
        return null;
    else
        return Double.parseDouble(value);
}

Same error:

Environment

• Operating System: Windows 10 x64
• JDK version: 8
• Visual Studio Code version: 1.20.0
• Java extension version: 0.18.1

Steps To Reproduce

1. Make code shown.
2. Look for error.

Current Result

Code 1 & 3 shows error. Code 2 doesn't.

Expected Result

All Code blocks should show error.

Additional Information

Please let me know if you need any logs or anything.

Comienza reproduciendo Code 1, Code 2 y Code 3 en la extensión de Java y compara los diagnósticos de las formas ternaria e if/else. Rastrea cómo la compatibilidad con el lenguaje Java analiza las expresiones de retorno y, a continuación, verifica que el caso ternario informe del mismo desajuste de tipos que los demás ejemplos.