Unnamed repository; edit this file 'description' to name the repository.
Use de morgan
Ariel Davis 2023-05-07
parent 7cdca72 · commit 7a7f90c
-rw-r--r--lib/line-index/src/lib.rs2
1 files changed, 1 insertions, 1 deletions
diff --git a/lib/line-index/src/lib.rs b/lib/line-index/src/lib.rs
index e70bf68bef..97a24bcf6f 100644
--- a/lib/line-index/src/lib.rs
+++ b/lib/line-index/src/lib.rs
@@ -161,7 +161,7 @@ impl LineIndex {
.get(&ret.line)
.into_iter()
.flat_map(|it| it.iter())
- .all(|it| !(it.start < col && col < it.end))
+ .all(|it| col <= it.start || it.end <= col)
.then_some(ret)
}