rustc_borrowck::polonius

Module constraints

Source

Structs§

LocalizedOutlivesConstraint 🔒
A localized outlives constraint reifies the CFG location where the outlives constraint holds, within the origins themselves as if they were different from point to point: from a: b outlives constraints to a@p: b@p, where p is the point in the CFG.
LocalizedOutlivesConstraintSet 🔒
A container of LocalizedOutlivesConstraints that can be turned into a traversable rustc_data_structures graph.