Function miri::borrow_tracker::tree_borrows::diagnostics::extraction_aux

fn extraction_aux(
    tree: &Tree,
    idx: UniIndex,
    show_unnamed: bool,
    acc: &mut Vec<DisplayRepr>
)