Module slicer 

Re-exports

pub use types::BackwardItem;

pub use types::ForgetReason;

pub use types::KeepReason;

pub use types::RelevantMirItems;

Modules

call_visit 🔒

Call-terminator visiting logic.

display 🔒

Diagnostic formatting for path-refinement types.

types

Data types for the path-refinement layer.

visitor 🔒

Backward path visitor — walks a finite path backward from a checkpoint and keeps only MIR items that can affect the required property.

Structs

BackwardSlicer

Entry point for backward path visiting.