pub type PathConstraintMap<'tcx> = FxHashMap<DefId, HashMap<Vec<usize>, Vec<(Place<'tcx>, Place<'tcx>, BinOp)>>>;
pub struct PathConstraintMap<'tcx> { /* private fields */ }