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.

Inizia riproducendo Code 1, Code 2 e Code 3 nell’estensione Java e confronta le diagnosi per le forme ternaria e if/else. Traccia il modo in cui il supporto del linguaggio Java analizza le espressioni di ritorno, quindi verifica che il caso ternario segnali lo stesso errore di incompatibilità dei tipi degli altri esempi.