summary refs log tree commit diff
path: root/compiler/rustc_borrowck/src/constraints
AgeCommit message (Collapse)AuthorLines
2022-10-04Use Predicate ConstraintCategory when normalizingJack Huey-4/+1
(cherry picked from commit e7ca6e1b47ce31ad544cd8f0eb7e5cd47b325e63)
2022-09-16Revert "Use Predicate ConstraintCategory when normalizing"Jack Huey-1/+4
This reverts commit aae37f87632dd74856d55c0cd45d2c192379c990.
2022-09-13Use Predicate ConstraintCategory when normalizingJack Huey-4/+1
2022-09-13Cleanup retrieve_closure_constraint_infoJack Huey-1/+1
2022-08-29Various changes to logging of borrowck-related codeJack Huey-2/+2
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