summaryrefslogtreecommitdiff
path: root/src/diag.rs
diff options
context:
space:
mode:
authorLaurenz <laurmaedje@gmail.com>2021-02-09 19:46:57 +0100
committerLaurenz <laurmaedje@gmail.com>2021-02-09 19:46:57 +0100
commit06ca740d01b428f12f6bd327257cd05dce737b03 (patch)
tree995bf8ff3a606aedecf296c9e805e11e9cd0ae8e /src/diag.rs
parente35bbfffcb1f84b2fb0679759152ca0a5eabfad4 (diff)
Split evaluation and execution 🔪
Diffstat (limited to 'src/diag.rs')
-rw-r--r--src/diag.rs6
1 files changed, 0 insertions, 6 deletions
diff --git a/src/diag.rs b/src/diag.rs
index fca905da..07fd7b50 100644
--- a/src/diag.rs
+++ b/src/diag.rs
@@ -36,12 +36,6 @@ impl Feedback {
Self { diags: vec![], decos: vec![] }
}
- /// Merge two feedbacks into one.
- pub fn join(mut a: Self, b: Self) -> Self {
- a.extend(b);
- a
- }
-
/// Add other feedback data to this feedback.
pub fn extend(&mut self, more: Self) {
self.diags.extend(more.diags);