Class ConstraintGraphCollector

src/analysis/pointsto/mod.rs:416–420

Generate `ConstraintGraph` by visiting MIR body.

/// Generate `ConstraintGraph` by visiting MIR body.
struct ConstraintGraphCollector<'a, 'tcx> {
    body: &'a Body<'tcx>,
    tcx: TyCtxt<'tcx>,
    graph: ConstraintGraph<'tcx>,
}

impl<'a, 'tcx> ConstraintGraphCollector<'a, 'tcx> {
    fn new(body: &'a Body<'tcx>, tcx: TyCtxt<'tcx>) -> Self {