about summary refs log tree commit diff
path: root/compiler/rustc_borrowck/src/region_infer
AgeCommit message (Expand)AuthorLines
2025-07-04Remove Symbol for Named LateParam/Bound variantsMichael Goulet-9/+25
2025-06-05Auto merge of #140466 - amandasystems:move-to-preprocessing-step, r=lcnrbors-198/+56
2025-06-04Use an enum for SCC representatives, plus other code reviewAmanda Stjerna-38/+56
2025-06-03Move placeholder handling to a proper preprocessing stepAmanda Stjerna-184/+24
2025-05-31Drive-by refactor: use `OnceCell` for the reverse region SCC graphAmanda Stjerna-18/+11
2025-05-03`fn check_opaque_type_parameter_valid` defer errorlcnr-2/+2
2025-05-03add `ReverseSccGraph::compute`lcnr-18/+27
2025-04-28Use associated types for SCC annotations, per code review suggestionAmanda Stjerna-13/+10
2025-04-28Decouple SCC annotations from SCCsAmanda Stjerna-10/+43
2025-04-25Rollup merge of #140257 - amandasystems:housecleaning, r=wesleywiserMatthias Krüger-23/+20
2025-04-24Some drive-by housecleaning in `rustc_borrowck`Amanda Stjerna-23/+20
2025-04-14Use `newtype_index!`-generated types more idiomaticallyYotam Ofek-2/+1
2025-04-11eagerly initialize `definitions` in sub-fnlcnr-20/+23
2025-04-08Auto merge of #139536 - matthiaskrgr:rollup-j6goald, r=matthiaskrgrbors-5/+2
2025-04-08Rollup merge of #139509 - xizheyin:issue-139359, r=lcnrMatthias Krüger-1/+1
2025-04-08Rollup merge of #139476 - lcnr:rm-var_infos, r=compiler-errorsMatthias Krüger-4/+1
2025-04-08clean code: remove Deref<Target=RegionKind> impl for Region and use `.kind()`xizheyin-1/+1
2025-04-08move `ClosureRegionRequirements` to `rustc_borrowck`lcnr-4/+6
2025-04-08borrowck typeck children together with their parentlcnr-6/+6
2025-04-07rm `RegionInferenceContext::var_infos`lcnr-4/+1
2025-04-07Trivial tweaks to stop tracking source span directlyMichael Goulet-14/+18
2025-04-03add `TypingMode::Borrowck`lcnr-5/+13
2025-04-03move `check_opaque_type_parameter_valid`lcnr-163/+4
2025-03-19merge opaque types of nested bodieslcnr-29/+8
2025-03-15Fold visit into tyMichael Goulet-2/+1
2025-03-15Squash fold into tyMichael Goulet-4/+2
2025-02-28Optimize `Trace`.Nicholas Nethercote-36/+51
2025-02-28Split the `Edges` iterator.Nicholas Nethercote-12/+28
2025-02-22Greatly simplify lifetime captures in edition 2024Michael Goulet-25/+14
2025-02-18eval_outlives: bail out early if both regions are in the same SCCAmanda Stjerna-0/+5
2025-02-15Rework name_regions to not rely on reverse scc graph for non-member-constrain...Michael Goulet-1/+7
2025-02-08Rustfmtbjorn3-4/+4
2025-01-28Move outlives env computation into methodsMichael Goulet-9/+7
2025-01-28Consolidate OutlivesEnv construction with resolve_regionsMichael Goulet-1/+1
2025-01-17Rollup merge of #134980 - lqd:polonius-next-episode-7, r=jackh726Matthias Krüger-67/+27
2025-01-12replace location-insensitive analysis with location-sensitive analysisRémy Rakic-67/+27
2025-01-11Remove a bunch of diagnostic stashing that doesn't do anythingMichael Goulet-1/+0
2025-01-08Rollup merge of #135250 - lqd:simple-cleanups, r=matthewjasperMatthias Krüger-28/+29
2025-01-08Auto merge of #133858 - dianne:better-blame-constraints-for-static, r=lcnrbors-127/+106
2025-01-08stop calling `DenseLocationMap` "elements"Rémy Rakic-28/+29
2025-01-07Rollup merge of #133810 - lcnr:remove-verify_bound, r=compiler-errorsMatthias Krüger-18/+8
2025-01-07Avoid naming variables `str`Josh Triplett-3/+3
2025-01-06only avoid blaming assignments from argument patternsdianne-10/+7
2025-01-06make outlives constraints from generic arguments less boringdianne-10/+16
2025-01-06`best_blame_constraint`: prioritize blaming interesting-seeming constraintsdianne-72/+87
2025-01-06`best_blame_constraint`: avoid blaming assignments without user-provided typesdianne-0/+1
2025-01-06`best_blame_constraint`: avoid blaming constraints from MIR generated by desu...dianne-1/+8
2025-01-06`best_blame_constraint`: add a special case to recover object lifetime defaul...dianne-1/+21
2025-01-06`best_blame_constraint`: don't filter constraints by sup SCCdianne-49/+11
2025-01-06further clean up `best_blame_constraint`dianne-50/+45