about summary refs log tree commit diff
path: root/compiler/rustc_borrowck/src/region_infer/mod.rs
AgeCommit message (Expand)AuthorLines
2025-09-27Rename various "concrete opaque type" terminology to say "hidden type"Boxy Uwu-2/+2
2025-09-24Rollup merge of #146711 - lcnr:fix-placeholder-ice, r=lqdMatthias Krüger-3/+4
2025-09-18Clean up universe evaluation during type test evaluationAmanda Stjerna-5/+15
2025-09-18internal constraints are better than placeholder outliveslcnr-3/+4
2025-09-09erase_regions to erase_and_anonymize_regionsBoxy-1/+1
2025-08-23Simplify SCC annotations somewhatAmanda Stjerna-13/+1
2025-08-22Region inference: Use outlives-static constraints in constraint searchAmanda Stjerna-109/+76
2025-08-20diagnostics :3lcnr-18/+42
2025-08-20handle opaque types before region inferencelcnr-281/+7
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-1/+1
2025-08-08borrowck: defer opaque type errorslcnr-1/+1
2025-08-08apply_member_constraints: fix placeholder checklcnr-1/+8
2025-08-06Track names of existentialsAmanda Stjerna-2/+2
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-06-05Auto merge of #140466 - amandasystems:move-to-preprocessing-step, r=lcnrbors-196/+54
2025-06-04Use an enum for SCC representatives, plus other code reviewAmanda Stjerna-36/+54
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-7/+5
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-22/+19
2025-04-24Some drive-by housecleaning in `rustc_borrowck`Amanda Stjerna-22/+19
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-4/+1
2025-04-08Rollup merge of #139476 - lcnr:rm-var_infos, r=compiler-errorsMatthias Krüger-4/+1
2025-04-08move `ClosureRegionRequirements` to `rustc_borrowck`lcnr-4/+6
2025-04-07rm `RegionInferenceContext::var_infos`lcnr-4/+1
2025-04-07Trivial tweaks to stop tracking source span directlyMichael Goulet-14/+18
2025-03-15Squash fold into tyMichael Goulet-2/+1
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-6/+4
2025-02-18eval_outlives: bail out early if both regions are in the same SCCAmanda Stjerna-0/+5
2025-01-12replace location-insensitive analysis with location-sensitive analysisRémy Rakic-22/+15
2025-01-08Rollup merge of #135250 - lqd:simple-cleanups, r=matthewjasperMatthias Krüger-2/+2
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-2/+2
2025-01-07Rollup merge of #133810 - lcnr:remove-verify_bound, r=compiler-errorsMatthias Krüger-18/+8
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