{"ast_node_type":"other","tokens":[{"end":79,"kind":"keyword","start":0,"text":"///"}]}
    /// A non-empty `extra` allows for a precise calculation of the successors.
    visit_stack: Vec<(BasicBlock, Successors<'a>)>,
    extra: Option<(TyCtxt<'tcx>, Instance<'tcx>)>,