Type Alias PathConstraint 

pub type PathConstraint<'tcx> = HashMap<Vec<usize>, Vec<(Place<'tcx>, Place<'tcx>, BinOp)>>;

Aliased Type

pub struct PathConstraint<'tcx> { /* private fields */ }