diff options
| author | Laurenz <laurmaedje@gmail.com> | 2021-02-09 19:46:57 +0100 |
|---|---|---|
| committer | Laurenz <laurmaedje@gmail.com> | 2021-02-09 19:46:57 +0100 |
| commit | 06ca740d01b428f12f6bd327257cd05dce737b03 (patch) | |
| tree | 995bf8ff3a606aedecf296c9e805e11e9cd0ae8e /src/diag.rs | |
| parent | e35bbfffcb1f84b2fb0679759152ca0a5eabfad4 (diff) | |
Split evaluation and execution 🔪
Diffstat (limited to 'src/diag.rs')
| -rw-r--r-- | src/diag.rs | 6 |
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); |
