Method points_to_map

src/analysis/pointsto/mod.rs:1061–1063

(&self, def_id: DefId)

        self.pts.get(&def_id)
    }
}

/// Check if p1 and p2 point to the same Constant.
/// Return true
/// if exists a1 in pts(p1) and a1 is Constant(c1) and
///    exists a2 in pts(p2) and a2 is Constant(c2) and