Skip to main content

## mono_reachable

# Function mono_reachable

Source

    pub fn mono_reachable<'a, 'tcx>(
        body: &'a Body<'tcx>,
        tcx: TyCtxt<'tcx>,
        instance: Instance<'tcx>,
    ) -> MonoReachable<'a, 'tcx> ⓘ

Expand description

Traversal of a `Body` that tries to avoid unreachable blocks in a monomorphized `Instance`.

This is allowed to have false positives; blocks may be visited even if they are not actually reachable.

Such a traversal is mostly useful because it lets us skip lowering the `false` side of `if <T as Trait>::CONST`, as well as `Operand::RuntimeChecks`.