summary refs log tree commit diff
path: root/compiler/rustc_borrowck/src/constraints
AgeCommit message (Collapse)AuthorLines
2022-05-25add def_id and substs to ConstraintCategory::CallArgumentb-naber-1/+1
2022-05-20Remove `crate` visibility usage in compilerJacob Pratt-21/+25
2022-04-22Make the lifetime accurate which is used in the region constraints partSparrowLii-6/+3
2022-04-19Add an explicit `Span` field to `OutlivesConstraint`Aaron Hill-0/+8
Previously, we would retrieve the span from the `Body` using the `locations` field. However, we may end up changing the `locations` field when moving a constraint from a promoted to a different body. We now store the original `Span` in a dedication field, so that changes to the `locations` do not affect the quality of our diagnostics.
2022-01-19Remove ordering traits from `rustc_borrowck::constraints::OutlivesConstraint`pierwill-1/+1
In two cases where this ordering was used, I've replaced the sorting to use a key that does not include DefId. I'm not sure this is correct in terms of our goals from #90317, or otherwise.
2021-09-07Move rustc_mir::borrow_check to new crate rustc_borrowck.Camille GILLOT-0/+350