{"ast_node_type":"other","tokens":[{"end":45,"kind":"keyword","start":0,"text":"Successors::FromGraph(edges)"}]}
            Successors::FromGraph(edges) => {
            }
                edges.next().map(|constraint| D::end_region(constraint.sup, constraint.sub))