remove push_diagnostic methods

weren't used in the end
This commit is contained in:
Kartavya Vashishtha 2022-08-20 13:30:25 +05:30
parent 87b779756c
commit 8f87fcb179
No known key found for this signature in database
GPG Key ID: A50012C2324E5DF0

View File

@ -511,14 +511,6 @@ pub fn diagnostics(&self) -> &[DefDiagnostic] {
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
}