Module constraints 

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.