bjoernager/rust
bjoernager/rust
1
Fork 0
Code Activity

More sanity checks

Browse source
This commit is contained in:
Oli Scherer 2021-08-20 14:39:06 +00:00 • committed by Oli Scherer
parent f7abc1b6f8
commit 8d2b598459
1 changed files with 7 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

9
compiler/rustc_infer/src/infer/opaque_types/table.rs
View file

@ -1,6 +1,7 @@
use rustc_data_structures::fx::FxHashMap; use rustc_data_structures::fx::FxHashMap;
use rustc_data_structures::undo_log::UndoLogs; use rustc_data_structures::undo_log::UndoLogs;
use rustc_middle::ty::{OpaqueTypeKey, Ty}; use rustc_middle::ty::{self, OpaqueTypeKey, Ty};
use rustc_span::DUMMY_SP;
use crate::infer::InferCtxtUndoLogs; use crate::infer::InferCtxtUndoLogs;
@ -59,7 +60,11 @@ impl<'tcx> OpaqueTypeStorage<'tcx> {
impl<'tcx> Drop for OpaqueTypeStorage<'tcx> { impl<'tcx> Drop for OpaqueTypeStorage<'tcx> {
fn drop(&mut self) { fn drop(&mut self) {
assert!(self.opaque_types.is_empty(), "{:?}", self.opaque_types); if !self.opaque_types.is_empty() {
ty::tls::with(|tcx| {
tcx.sess.delay_span_bug(DUMMY_SP, &format!("{:?}", self.opaque_types))
});
}
} }
} }