Skip to content

Commit

Permalink
feat(SourceSpan): add impl From<InclusiveRange> (#385)
Browse files Browse the repository at this point in the history
This can be used to avoid awkward `start..(end + 1)` constructions,
which will trigger the `clippy::range_plus_one` lint.

I added a single impl for `InclusiveRange` rather than a blanket
`impl<T: RangeBounds> From<T> for SourceSpan` for two reasons. The first
is that the blanket impl would be a breaking change (because dependent
crates may currently define a type `T: RangeBounds` and also have `impl
From<T> for SourceSpan`). The second is that this would allow one-sided
ranges (`..x`, `x..`). In order to support bounded-below ranges, we
would need to change `SourceSpan` so that `length` may depend on the the
specific `SourceCode` instance. That seems like an unlikely use case.
  • Loading branch information
Benjamin-L authored Jun 26, 2024
1 parent b8dfcda commit 73da45b
Showing 1 changed file with 22 additions and 0 deletions.
22 changes: 22 additions & 0 deletions src/protocol.rs
Original file line number Diff line number Diff line change
Expand Up @@ -614,6 +614,28 @@ impl From<std::ops::Range<ByteOffset>> for SourceSpan {
}
}

impl From<std::ops::RangeInclusive<ByteOffset>> for SourceSpan {
/// # Panics
///
/// Panics if the total length of the inclusive range would overflow a
/// `usize`. This will only occur with the range `0..=usize::MAX`.
fn from(range: std::ops::RangeInclusive<ByteOffset>) -> Self {
let (start, end) = range.clone().into_inner();
Self {
offset: start.into(),
length: if range.is_empty() {
0
} else {
// will not overflow because `is_empty() == false` guarantees
// that `start <= end`
(end - start)
.checked_add(1)
.expect("length of inclusive range should fit in a usize")
},
}
}
}

impl From<SourceOffset> for SourceSpan {
fn from(offset: SourceOffset) -> Self {
Self { offset, length: 0 }
Expand Down

0 comments on commit 73da45b

Please sign in to comment.