Return null through ternary operator does not give Type mismatch error

[ADTC]

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.

[fbricon]

This is a known bug in the jdt compiler: https://bugs.eclipse.org/bugs/show_bug.cgi?id=416815

[ADTC]

Since 2013? 😮