diff --git a/compiler/rustc_mir_transform/src/jump_threading.rs b/compiler/rustc_mir_transform/src/jump_threading.rs index 9b420ab18112..72c003e9c575 100644 --- a/compiler/rustc_mir_transform/src/jump_threading.rs +++ b/compiler/rustc_mir_transform/src/jump_threading.rs @@ -345,6 +345,9 @@ impl<'a, 'tcx> TOFinder<'a, 'tcx> { extra_elem: Option, state: &mut ConditionSet<'a>, ) { + if state.is_empty() { + return; + } let mut places_to_exclude = FxHashSet::default(); self.map.for_each_aliasing_place(place.as_ref(), extra_elem, &mut |vi| { places_to_exclude.insert(vi);