Fix B023 shadowed variables in nested functions

crates/ruff/resources/test/fixtures/flake8_bugbear/B023.py

@@ -172,3 +172,14 @@ def iter_f(names):
 
         if False:
             return [lambda: i for i in range(3)]  # error
+
+
+for val in range(3):
+    def make_func(val=val):
+        def tmp():
+            return print(val)
+
+        return tmp
+
+
+    funcs.append(make_func())

crates/ruff/src/rules/flake8_bugbear/rules/function_uses_loop_variable.rs

@@ -32,11 +32,8 @@ struct LoadedNamesVisitor<'a> {
 }
 
 /// `Visitor` to collect all used identifiers in a statement.
-impl<'a, 'b> Visitor<'b> for LoadedNamesVisitor<'a>
-where
-    'b: 'a,
-{
-    fn visit_expr(&mut self, expr: &'b Expr) {
+impl<'a> Visitor<'a> for LoadedNamesVisitor<'a> {
+    fn visit_expr(&mut self, expr: &'a Expr) {
         match &expr.node {
             ExprKind::Name { id, ctx } => match ctx {
                 ExprContext::Load => self.loaded.push((id, expr, Range::from(expr))),
@@ -56,11 +53,8 @@ struct SuspiciousVariablesVisitor<'a> {
 
 /// `Visitor` to collect all suspicious variables (those referenced in
 /// functions, but not bound as arguments).
-impl<'a, 'b> Visitor<'b> for SuspiciousVariablesVisitor<'a>
-where
-    'b: 'a,
-{
-    fn visit_stmt(&mut self, stmt: &'b Stmt) {
+impl<'a> Visitor<'a> for SuspiciousVariablesVisitor<'a> {
+    fn visit_stmt(&mut self, stmt: &'a Stmt) {
         match &stmt.node {
             StmtKind::FunctionDef { args, body, .. }
             | StmtKind::AsyncFunctionDef { args, body, .. } => {
@@ -76,9 +70,10 @@ where
                 self.names.extend(
                     visitor
                         .loaded
-                        .iter()
+                        .into_iter()
                         .filter(|(id, ..)| !arg_names.contains(id)),
                 );
+                return;
             }
             StmtKind::Return { value: Some(value) } => {
                 // Mark `return lambda: x` as safe.
@@ -91,7 +86,7 @@ where
         visitor::walk_stmt(self, stmt);
     }
 
-    fn visit_expr(&mut self, expr: &'b Expr) {
+    fn visit_expr(&mut self, expr: &'a Expr) {
         match &expr.node {
             ExprKind::Call {
                 func,
@@ -145,6 +140,8 @@ where
                             .iter()
                             .filter(|(id, ..)| !arg_names.contains(id)),
                     );
+
+                    return;
                 }
             }
             _ => {}
@@ -159,11 +156,8 @@ struct NamesFromAssignmentsVisitor<'a> {
 }
 
 /// `Visitor` to collect all names used in an assignment expression.
-impl<'a, 'b> Visitor<'b> for NamesFromAssignmentsVisitor<'a>
-where
-    'b: 'a,
-{
-    fn visit_expr(&mut self, expr: &'b Expr) {
+impl<'a> Visitor<'a> for NamesFromAssignmentsVisitor<'a> {
+    fn visit_expr(&mut self, expr: &'a Expr) {
         match &expr.node {
             ExprKind::Name { id, .. } => {
                 self.names.insert(id.as_str());
@@ -187,11 +181,8 @@ struct AssignedNamesVisitor<'a> {
 }
 
 /// `Visitor` to collect all used identifiers in a statement.
-impl<'a, 'b> Visitor<'b> for AssignedNamesVisitor<'a>
-where
-    'b: 'a,
-{
-    fn visit_stmt(&mut self, stmt: &'b Stmt) {
+impl<'a> Visitor<'a> for AssignedNamesVisitor<'a> {
+    fn visit_stmt(&mut self, stmt: &'a Stmt) {
         if matches!(
             &stmt.node,
             StmtKind::FunctionDef { .. } | StmtKind::AsyncFunctionDef { .. }
@@ -222,7 +213,7 @@ where
         visitor::walk_stmt(self, stmt);
     }
 
-    fn visit_expr(&mut self, expr: &'b Expr) {
+    fn visit_expr(&mut self, expr: &'a Expr) {
         if matches!(&expr.node, ExprKind::Lambda { .. }) {
             // Don't recurse.
             return;
@@ -231,7 +222,7 @@ where
         visitor::walk_expr(self, expr);
     }
 
-    fn visit_comprehension(&mut self, comprehension: &'b Comprehension) {
+    fn visit_comprehension(&mut self, comprehension: &'a Comprehension) {
         let mut visitor = NamesFromAssignmentsVisitor::default();
         visitor.visit_expr(&comprehension.target);
         self.names.extend(visitor.names);
@@ -241,14 +232,11 @@ where
 }
 
 /// B023
-pub fn function_uses_loop_variable<'a, 'b>(checker: &'a mut Checker<'b>, node: &Node<'b>)
-where
-    'b: 'a,
-{
+pub fn function_uses_loop_variable<'a>(checker: &mut Checker<'a>, node: &Node<'a>) {
     // Identify any "suspicious" variables. These are defined as variables that are
     // referenced in a function or lambda body, but aren't bound as arguments.
     let suspicious_variables = {
-        let mut visitor = SuspiciousVariablesVisitor::<'b>::default();
+        let mut visitor = SuspiciousVariablesVisitor::default();
         match node {
             Node::Stmt(stmt) => visitor.visit_stmt(stmt),
             Node::Expr(expr) => visitor.visit_expr(expr),
@@ -259,7 +247,7 @@ where
     if !suspicious_variables.is_empty() {
         // Identify any variables that are assigned in the loop (ignoring functions).
         let reassigned_in_loop = {
-            let mut visitor = AssignedNamesVisitor::<'b>::default();
+            let mut visitor = AssignedNamesVisitor::default();
             match node {
                 Node::Stmt(stmt) => visitor.visit_stmt(stmt),
                 Node::Expr(expr) => visitor.visit_expr(expr),