ReturnSeparatedFromComputationInspection: do not process if variable and return are in different scopes

Fixes EA-237085 - assert: ControlFlowUtil.isVariableReadInFinally

GitOrigin-RevId: 1f48700f3f08faf96f12b440b3fd54d735c50620

java/java-impl/src/com/intellij/codeInspection/intermediaryVariable/ReturnSeparatedFromComputationInspection.java

@@ -69,7 +69,12 @@ public class ReturnSeparatedFromComputationInspection extends AbstractBaseJavaLo
                 final PsiVariable returnedVariable = (PsiVariable)resolved;
                 final PsiCodeBlock variableScope = getVariableScopeBlock(returnedVariable);
                 if (variableScope != null) {
-                  return new ReturnContext(returnStatement, returnScope, returnType, refactoredStatement, returnedVariable, variableScope);
+                  PsiElement variableMethod = PsiTreeUtil.getParentOfType(variableScope, PsiMethod.class, PsiLambdaExpression.class);
+                  PsiElement returnMethod = PsiTreeUtil.getParentOfType(returnScope, PsiMethod.class, PsiLambdaExpression.class);
+                  if (variableMethod == returnMethod) {
+                    return new ReturnContext(returnStatement, returnScope, returnType, refactoredStatement, returnedVariable,
+                                             variableScope);
+                  }
                 }
               }
             }

java/java-tests/testData/codeInsight/daemonCodeAnalyzer/quickFix/returnSeparatedFromComputation/beforeFinallyInLambda.java

@@ -0,0 +1,17 @@
+// "Move 'return' closer to computation of the value of 'x'" "false"
+class X {
+  int test() {
+    int x = 0;
+    Runnable r = () -> {
+      try {
+        if (r == null) {
+          x = 1;
+        }
+        return <caret>x;
+      }
+      finally {
+        System.out.println(x);
+      }
+    };
+  }
+}