Remove unused `Scope#delete` method (#5085)

## Summary

This is now intentionally unused and is now made impossible (via this
PR).
This commit is contained in:
Charlie Marsh 2023-06-14 10:15:14 -04:00 committed by GitHub
parent c74ef77e85
commit 6f10aeebaa
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 0 additions and 5 deletions

View File

@ -85,11 +85,6 @@ impl<'a> Scope<'a> {
} }
} }
/// Removes the binding with the given name.
pub fn delete(&mut self, name: &'a str) -> Option<BindingId> {
self.bindings.remove(name)
}
/// Returns `true` if this scope has a binding with the given name. /// Returns `true` if this scope has a binding with the given name.
pub fn has(&self, name: &str) -> bool { pub fn has(&self, name: &str) -> bool {
self.bindings.contains_key(name) self.bindings.contains_key(name)