bjoernager/rust
bjoernager/rust
1
Fork 0
Code Issues Pull requests Activity

Auto merge of #89049 - Aaron1011:caching-sourcemap-assert, r=Mark-Simulacrum

Browse source 
Convert `debug_assert` to `assert` in `CachingSourceMapView`

I suspect that there's a bug somewhere in this code, which is
leading to the `predicates_of` ICE being seen in #89035
This commit is contained in:
bors 2021-09-19 18:54:31 +00:00
commit 5ecc8ad846
1 changed files with 7 additions and 7 deletions
Download patch file Download diff file Expand all files Collapse all files

14
compiler/rustc_span/src/caching_source_map_view.rs
View file

@ -215,13 +215,13 @@ impl<'sm> CachingSourceMapView<'sm> {
// Span lo and hi may equal line end when last line doesn't
// end in newline, hence the inclusive upper bounds below.
debug_assert!(span_data.lo >= lo.line.start);
debug_assert!(span_data.lo <= lo.line.end);
debug_assert!(span_data.hi >= hi.line.start);
debug_assert!(span_data.hi <= hi.line.end);
debug_assert!(lo.file.contains(span_data.lo));
debug_assert!(lo.file.contains(span_data.hi));
debug_assert_eq!(lo.file_index, hi.file_index);
assert!(span_data.lo >= lo.line.start);
assert!(span_data.lo <= lo.line.end);
assert!(span_data.hi >= hi.line.start);
assert!(span_data.hi <= hi.line.end);
assert!(lo.file.contains(span_data.lo));
assert!(lo.file.contains(span_data.hi));
assert_eq!(lo.file_index, hi.file_index);
Some((
lo.file.clone(),