Editor erroneously reports warning in conditional operator

Erroneous warnings are reported in the editor in conditional operators.

Environment

• Operating System: Windows 10 Pro
• JDK version: OpenJDK 11.0.1
• Visual Studio Code version: 1.30.1
• Java extension version: 0.40.0

Steps To Reproduce

Write code like the following:

SpeedController motor;
if (RobotMap.isCompetitionRobot)
{
	motor = new WPI_TalonSRX(RobotMap.liftMotorCanDeviceId);
}
else
{
	motor = new Spark(RobotMap.centerLegMotorPwmChannel);
}
		
motor = RobotMap.isCompetitionRobot
	? new WPI_TalonSRX(RobotMap.liftMotorCanDeviceId)
	: new Spark(RobotMap.centerLegMotorPwmChannel);

where the class Spark extends a class that implements AutoCloseable.

Current Result

No warnings are reported in the if statement. However, the warning:

Resource leak: '<unassigned Closeable value>' is never closed

is reported for the code:

new Spark(RobotMap.centerLegMotorPwmChannel)

in the conditional operator.

Expected Result

No warnings should be reported at all.

Additional Informations

None.

まず、issue にある条件演算子の例で警告を再現します。可能な場合は、記載されている Windows、JDK、VS Code、Java extension のバージョンを使用します。条件式に対する Java extension のリソースリーク解析を追跡します。条件式で誤った警告が生成されず、既存の if 文の動作が変更されないことをもって完了とします。