diff --git a/rr_frontend/.cargo/config.toml b/rr_frontend/.cargo/config.toml
index fe82a017790a165aa55e15168e8880bccfc141a8..9640f899a7b37a7d057bf754bba376e0c682fb4f 100644
--- a/rr_frontend/.cargo/config.toml
+++ b/rr_frontend/.cargo/config.toml
@@ -21,7 +21,6 @@ rustflags = [
     "-Aunused_variables",
 
     # clippy::complexity
-    "-Aclippy::only_used_in_recursion",
     "-Aclippy::unnecessary_unwrap",
     "-Aclippy::useless_conversion",
     "-Aclippy::useless_format",
diff --git a/rr_frontend/translation/src/function_body.rs b/rr_frontend/translation/src/function_body.rs
index f6d7cc841358e80a7decf9fe21560ac9afa2df99..a2e6ef0e20fd182bf4e3954e60a7c00a73cf270e 100644
--- a/rr_frontend/translation/src/function_body.rs
+++ b/rr_frontend/translation/src/function_body.rs
@@ -1523,25 +1523,6 @@ impl<'a, 'def: 'a, 'tcx: 'def> BodyTranslator<'a, 'def, 'tcx> {
         Ok(false)
     }
 
-    /// Get the region variables of a type (we assume that region variables have not been erased
-    /// yet after the borrow checker ran) and append them to `ret`.
-    fn get_ty_region_variables(&self, ty: Ty<'tcx>, ret: &mut Vec<Region>) {
-        match ty.kind() {
-            TyKind::Ref(reg, _, _) => {
-                if let ty::RegionKind::ReVar(reg2) = reg.kind() {
-                    ret.push(reg2);
-                }
-            },
-            TyKind::Tuple(_) => {
-                for ty0 in ty.tuple_fields() {
-                    self.get_ty_region_variables(ty0, ret);
-                }
-            },
-            // TODO also descend below structs/adts/box, like the borrowcheck does.
-            _ => {},
-        }
-    }
-
     fn get_assignment_strong_update_constraints(
         &mut self,
         loc: Location,