diff options
| author | Laurenz <laurmaedje@gmail.com> | 2023-01-27 16:09:35 +0100 |
|---|---|---|
| committer | Laurenz <laurmaedje@gmail.com> | 2023-01-27 16:09:35 +0100 |
| commit | a96141a3ea9d1b11ef4cdc924216d8979689e6f0 (patch) | |
| tree | 0192bdd4e63f3fb3c9172faae35bf8b08c8c957d /src/diag.rs | |
| parent | 2e039cb052fcb768027053cbf02ce396f6d7a6be (diff) | |
Autocomplete methods
Diffstat (limited to 'src/diag.rs')
| -rw-r--r-- | src/diag.rs | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/src/diag.rs b/src/diag.rs index 5c5d9de9..054a7b03 100644 --- a/src/diag.rs +++ b/src/diag.rs @@ -140,8 +140,11 @@ impl<T> Trace<T> for SourceResult<T> { F: Fn() -> Tracepoint, { self.map_err(|mut errors| { + if span.is_detached() { + return errors; + } let range = world.source(span.source()).range(span); - for error in errors.iter_mut() { + for error in errors.iter_mut().filter(|e| !e.span.is_detached()) { // Skip traces that surround the error. let error_range = world.source(error.span.source()).range(error.span); if range.start <= error_range.start && range.end >= error_range.end { |
