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.