fn emit_loan_reachability(
borrow_set: &BorrowSet<'_>,
liveness: &LivenessValues,
reachability: &FxIndexMap<BorrowIndex, Vec<LocalizedNode>>,
out: &mut dyn Write,
) -> Result<()>Expand description
Emits the reachability of loans: a list of all nodes reached while traversing the polonius constraint graph.