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.

まず Java 拡張機能で Code 1、Code 2、Code 3 を再現し、三項形式と if/else 形式の診断を比較します。Java 言語サポートが return 式をどのように解析するかを追跡し、三項の場合に他の例と同じ型の不一致が報告されることを確認します。