about summary refs log tree commit diff
path: root/compiler/rustc_borrowck/src/region_infer
AgeCommit message (Expand)AuthorLines
2025-08-15Auto merge of #142071 - lcnr:revealing-use, r=compiler-errorsbors-1/+8
2025-08-11remove `from_forall`lcnr-4/+9
2025-08-09Rollup merge of #145115 - lcnr:less-borrowck-tainting, r=compiler-errorsStuart Cook-36/+44
2025-08-08borrowck: defer opaque type errorslcnr-36/+44
2025-08-08apply_member_constraints: fix placeholder checklcnr-1/+8
2025-08-06Track names of existentialsAmanda Stjerna-3/+4
2025-08-06Proposed formatAmanda Stjerna-3/+3
2025-08-06Add annotations to the graphviz region graph on region originsAmanda Stjerna-1/+15
2025-08-02Rollup merge of #144478 - joshtriplett:doc-code-formatting-prep, r=AmanieuSamuel Tardieu-1/+1
2025-07-28use let chains in ast, borrowck, codegen, const_evalKivooeo-36/+32
2025-07-25Skip formatting for some compiler documentation codeJosh Triplett-1/+1
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