about summary refs log tree commit diff
path: root/compiler/rustc_borrowck/src/constraints
AgeCommit message (Expand)AuthorLines
2025-06-03Move placeholder handling to a proper preprocessing stepAmanda Stjerna-109/+1
2025-04-28Decouple SCC annotations from SCCsAmanda Stjerna-11/+13
2025-02-28Split the `Edges` iterator.Nicholas Nethercote-49/+57
2025-02-28Adjust `ConstraintGraphDirection` methods.Nicholas Nethercote-12/+12
2024-11-04Reduce visibilities.Nicholas Nethercote-1/+1
2024-09-13Rename and reorder lots of lifetimes.Nicholas Nethercote-20/+20
2024-08-30Remove `#[macro_use] extern crate tracing` from `rustc_borrowck`.Nicholas Nethercote-0/+1
2024-07-29Reformat `use` declarations.Nicholas Nethercote-10/+9
2024-07-01Add description for why this PR was madeAmanda Stjerna-3/+25
2024-07-01Handle universe leaks by rewriting the constraint graphAmanda Stjerna-0/+84
2024-06-12Move `RegionTracker` to `region_infer`Amanda Stjerna-94/+1
2024-06-12Formatting, weird because I just did thatAmanda Stjerna-2/+2
2024-06-12Simplify path compression logicAmanda Stjerna-3/+10
2024-06-12Extend SCC construction to enable extra functionalityAmanda Stjerna-16/+88
2024-06-06Uplift TypeRelation and RelateMichael Goulet-2/+2
2024-04-15Use RPITIT for `Successors` and `Predecessors` traitsMaybe Waffle-3/+1
2024-04-14Merge `{With,Graph}{Successors,Predecessors}` into `{Successors,Predecessors}`Maybe Waffle-9/+4
2024-04-14Merge `WithNumNodes` into DirectedGraphMaybe Waffle-2/+0
2024-02-06Invert diagnostic lints.Nicholas Nethercote-3/+0
2023-11-22Replace `no_ord_impl` with `orderable`.Nicholas Nethercote-0/+1
2023-04-24Split `{Idx, IndexVec, IndexSlice}` into their own modulesMaybe Waffle-2/+2
2023-04-10Fix typos in compilerDaniPopes-15/+17
2023-04-02Use `&IndexSlice` instead of `&IndexVec` where possibleScott McMurray-2/+4
2023-02-19sccs infob-naber-1/+1
2022-12-20Auto merge of #105880 - Nilstrieb:make-newtypes-less-not-rust, r=oli-obkbors-6/+4
2022-12-18A few small cleanups for `newtype_index`Nilstrieb-4/+2
2022-12-18Make `#[debug_format]` an attribute in `newtype_index`Nilstrieb-2/+2
2022-12-18don't clone Copy typesMatthias Krüger-1/+1
2022-11-09lint auto passAndyJado-0/+3
2022-11-05simplify applying closure requirementsAli MJ Al-Nasrawy-0/+4
2022-10-27Revert "Make ClosureOutlivesRequirement not rely on an unresolved type"Michael Goulet-1/+1
2022-10-19Make ClosureOutlivesRequirement not rely on an unresolved typeMichael Goulet-1/+1
2022-09-17Use Predicate ConstraintCategory when normalizingJack Huey-4/+1
2022-09-16Revert "Use Predicate ConstraintCategory when normalizing"Jack Huey-1/+4
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
2022-01-19Remove ordering traits from `rustc_borrowck::constraints::OutlivesConstraint`pierwill-1/+1
2021-09-07Move rustc_mir::borrow_check to new crate rustc_borrowck.Camille GILLOT-0/+350