flux_refineck::checker

Function snapshot_at_dominator

Source 
fn snapshot_at_dominator<'a>(
    body: &Body<'_>,
    snapshots: &'a IndexVec<BasicBlock, Option<Snapshot>>,
    bb: BasicBlock,
) -> &'a Snapshot