diff --git a/compiler/rustc_mir_transform/src/jump_threading.rs b/compiler/rustc_mir_transform/src/jump_threading.rs index bb8259d07094..701d03de1a20 100644 --- a/compiler/rustc_mir_transform/src/jump_threading.rs +++ b/compiler/rustc_mir_transform/src/jump_threading.rs @@ -146,6 +146,8 @@ struct TOFinder<'tcx, 'a> { opportunities: Vec, } +/// Represent the following statement. If we can prove that the current local is equal/not-equal +/// to `value`, jump to `target`. #[derive(Copy, Clone, Debug)] struct Condition { value: ScalarInt,