]> git.lizzy.rs Git - rust.git/commitdiff
Convert `debug_assert` to `assert` in `CachingSourceMapView`
authorAaron Hill <aa1ronham@gmail.com>
Fri, 17 Sep 2021 17:01:29 +0000 (12:01 -0500)
committerAaron Hill <aa1ronham@gmail.com>
Fri, 17 Sep 2021 17:01:29 +0000 (12:01 -0500)
I suspect that there's a bug somewhere in this code, which is
leading to the `predicates_of` ICE being seen in #89035

compiler/rustc_span/src/caching_source_map_view.rs

index 8e21b9ff44a1b267d67a4c6f24cd07e49f1b4787..fdabf404a37fb0f0b1d76331c4d91c6d043becc5 100644 (file)
@@ -215,13 +215,13 @@ pub fn span_data_to_lines_and_cols(
 
         // 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(),