about summary refs log tree commit diff
path: root/compiler/rustc_borrowck/src/constraint_generation.rs
AgeCommit message (Expand)AuthorLines
2023-11-26merge NLL "constraint generation" into livenessRémy Rakic-74/+0
2023-11-26remove polonius fact generation from NLL constraint generationRémy Rakic-194/+20
2023-11-14`LivenessValues` does not need to be generic over regionsRémy Rakic-3/+3
2023-11-13add locations instead of "element"s, and remove unused return valueRémy Rakic-1/+1
2023-07-14refactor(rustc_middle): Substs -> GenericArgMahdi Dibaiee-5/+5
2023-06-06Remove default visitor impl in region constraint generationNilstrieb-6/+2
2023-04-13Remove `ToRegionVid`.Nicholas Nethercote-3/+3
2023-02-22Remove type-traversal trait aliasesAlan Egerton-2/+2
2022-11-09lint auto passAndyJado-0/+2
2022-10-07Remove TypeckResults from InferCtxtCameron Steffen-6/+6
2022-08-26Replace `Body::basic_blocks()` with field accessTomasz Miąsko-1/+1
2022-07-06Update TypeVisitor pathsAlan Egerton-1/+0
2022-07-05Relax constrained generics to TypeVisitableAlan Egerton-1/+2
2022-07-04more `rustc_pass_by_value`lcnr-1/+1
2022-05-23Refactor call terminator to always hold a destination placeJakob Degen-3/+1
2022-02-15Overhaul `RegionKind` and `Region`.Nicholas Nethercote-2/+2
2021-09-07Move rustc_mir::borrow_check to new crate rustc_borrowck.Camille GILLOT-0/+252