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.

Commencez par reproduire Code 1, Code 2 et Code 3 dans l’extension Java, puis comparez les diagnostics pour les formes ternaire et if/else. Suivez la manière dont la prise en charge du langage Java analyse les expressions de retour, puis vérifiez que le cas ternaire signale la même incompatibilité de types que les autres exemples.