Unnamed repository; edit this file 'description' to name the repository.
remove push_diagnostic methods
weren't used in the end
Kartavya Vashishtha 2022-08-20
parent 87b7797 · commit 8f87fcb
-rw-r--r--crates/hir-def/src/nameres.rs8
1 files changed, 0 insertions, 8 deletions
diff --git a/crates/hir-def/src/nameres.rs b/crates/hir-def/src/nameres.rs
index a2181a6bf4..45f631936d 100644
--- a/crates/hir-def/src/nameres.rs
+++ b/crates/hir-def/src/nameres.rs
@@ -511,14 +511,6 @@ impl DefMap {
self.diagnostics.as_slice()
}
- pub fn push_diagnostic(&mut self, d: DefDiagnostic) {
- self.diagnostics.push(d)
- }
-
- pub fn push_diagnostics(&mut self, i: impl Iterator<Item = DefDiagnostic>) {
- self.diagnostics.extend(i)
- }
-
pub fn recursion_limit(&self) -> Option<u32> {
self.recursion_limit
}