Function alive_reaches

atomic-core/src/record/workflow/globalize/hunk.rs:791–838

(
        txn: &T,
        inode: Inode,
        start: GraphNode<NodeId>,
        target: GraphNode<NodeId>,
        is_dead_in_view: &dyn Fn(GraphNode<NodeId>) -> bool,
    )

    };

    fn alive_reaches<T: GraphTxnT + InodeGraphOps>(
        txn: &T,
        inode: Inode,
        start: GraphNode<NodeId>,
        target: GraphNode<NodeId>,
        is_dead_in_view: &dyn Fn(GraphNode<NodeId>) -> bool,
    ) -> bool {
        if start == target {
            return true;
        }

        let mut stack = vec![start];
        let mut seen = std::collections::HashSet::new();

        while let Some(current) = stack.pop() {
            if !seen.insert(current) {
                continue;
            }

            let edges = match txn.iter_forward(current, false) {
                Ok(edges) => edges,
                Err(_) => continue,
            };

            for edge in edges {
                if edge.kind.is_pseudo() {
                    continue;
                }
                let dest = txn
                    .find_block_in_inode(inode, edge.dest)
                    .ok()
                    .flatten()
                    .or_else(|| txn.find_block(edge.dest).ok());
                let Some(dest) = dest else {
                    continue;
                };
                if is_dead_in_view(dest) {
                    continue;
                }
                if dest == target {
                    return true;
                }
                stack.push(dest);
            }
        }

        false
    }

    loop {
        if !visited.insert(current) {