From 6f10aeebaa10b621336336c923caf67cb68226e0 Mon Sep 17 00:00:00 2001 From: Charlie Marsh Date: Wed, 14 Jun 2023 10:15:14 -0400 Subject: [PATCH] Remove unused `Scope#delete` method (#5085) ## Summary This is now intentionally unused and is now made impossible (via this PR). --- crates/ruff_python_semantic/src/scope.rs | 5 ----- 1 file changed, 5 deletions(-) diff --git a/crates/ruff_python_semantic/src/scope.rs b/crates/ruff_python_semantic/src/scope.rs index c53a6b43d2..22f0983915 100644 --- a/crates/ruff_python_semantic/src/scope.rs +++ b/crates/ruff_python_semantic/src/scope.rs @@ -85,11 +85,6 @@ impl<'a> Scope<'a> { } } - /// Removes the binding with the given name. - pub fn delete(&mut self, name: &'a str) -> Option { - self.bindings.remove(name) - } - /// Returns `true` if this scope has a binding with the given name. pub fn has(&self, name: &str) -> bool { self.bindings.contains_key(name)