Refactoring extraction methods leads to inconsistent code behavior

[provide a description of the issue]

Environment

Operating System: Windows11
JDK version: 17
Visual Studio Code version: 1.88
Java extension version: 1.29

Steps To Reproduce

1. select "switch (value) {...return result;"
2. click “Refacator-Extract to method”

class ExtractMethodTest {
private final int value;

public ExtractMethodTest(int value) {
this.value = value;
}

public synchronized int calculate() {
int result;
// extract method
switch (value) {
case 1:
result = value * 2;
break;
case 2:
result = value * 3;
break;
default:
result = value * 4;
break;
}
return result;
// end
}
}

refactoring result:

Reason: Local variables have been added to the extraction method, and if the inline method refactoring is performed, it will not match the behavior of the original code

Expected behavior: Check before and after refactoring and provide warning prompts

No source file or test is named in the report. Reproduce the Extract to method case on Windows 11 with JDK 17, then compare the original, extracted, and inline-refactored behavior. Done means inconsistent behavior is detected and an appropriate warning is shown before or after refactoring.