| Age | Commit message (Expand) | Author | Lines |
| 2025-09-27 | Rename various "concrete opaque type" terminology to say "hidden type" | Boxy Uwu | -2/+2 |
| 2025-09-24 | Rollup merge of #146711 - lcnr:fix-placeholder-ice, r=lqd | Matthias Krüger | -3/+4 |
| 2025-09-18 | Clean up universe evaluation during type test evaluation | Amanda Stjerna | -5/+15 |
| 2025-09-18 | internal constraints are better than placeholder outlives | lcnr | -3/+4 |
| 2025-09-09 | erase_regions to erase_and_anonymize_regions | Boxy | -1/+1 |
| 2025-08-23 | Simplify SCC annotations somewhat | Amanda Stjerna | -13/+1 |
| 2025-08-22 | Region inference: Use outlives-static constraints in constraint search | Amanda Stjerna | -109/+76 |
| 2025-08-20 | diagnostics :3 | lcnr | -18/+42 |
| 2025-08-20 | handle opaque types before region inference | lcnr | -281/+7 |
| 2025-08-15 | Auto merge of #142071 - lcnr:revealing-use, r=compiler-errors | bors | -1/+8 |
| 2025-08-11 | remove `from_forall` | lcnr | -4/+9 |
| 2025-08-09 | Rollup merge of #145115 - lcnr:less-borrowck-tainting, r=compiler-errors | Stuart Cook | -1/+1 |
| 2025-08-08 | borrowck: defer opaque type errors | lcnr | -1/+1 |
| 2025-08-08 | apply_member_constraints: fix placeholder check | lcnr | -1/+8 |
| 2025-08-06 | Track names of existentials | Amanda Stjerna | -2/+2 |
| 2025-08-02 | Rollup merge of #144478 - joshtriplett:doc-code-formatting-prep, r=Amanieu | Samuel Tardieu | -1/+1 |
| 2025-07-28 | use let chains in ast, borrowck, codegen, const_eval | Kivooeo | -36/+32 |
| 2025-07-25 | Skip formatting for some compiler documentation code | Josh Triplett | -1/+1 |
| 2025-06-05 | Auto merge of #140466 - amandasystems:move-to-preprocessing-step, r=lcnr | bors | -196/+54 |
| 2025-06-04 | Use an enum for SCC representatives, plus other code review | Amanda Stjerna | -36/+54 |
| 2025-06-03 | Move placeholder handling to a proper preprocessing step | Amanda Stjerna | -184/+24 |
| 2025-05-31 | Drive-by refactor: use `OnceCell` for the reverse region SCC graph | Amanda Stjerna | -7/+5 |
| 2025-04-28 | Use associated types for SCC annotations, per code review suggestion | Amanda Stjerna | -13/+10 |
| 2025-04-28 | Decouple SCC annotations from SCCs | Amanda Stjerna | -10/+43 |
| 2025-04-25 | Rollup merge of #140257 - amandasystems:housecleaning, r=wesleywiser | Matthias Krüger | -22/+19 |
| 2025-04-24 | Some drive-by housecleaning in `rustc_borrowck` | Amanda Stjerna | -22/+19 |
| 2025-04-14 | Use `newtype_index!`-generated types more idiomatically | Yotam Ofek | -2/+1 |
| 2025-04-11 | eagerly initialize `definitions` in sub-fn | lcnr | -20/+23 |
| 2025-04-08 | Auto merge of #139536 - matthiaskrgr:rollup-j6goald, r=matthiaskrgr | bors | -4/+1 |
| 2025-04-08 | Rollup merge of #139476 - lcnr:rm-var_infos, r=compiler-errors | Matthias Krüger | -4/+1 |
| 2025-04-08 | move `ClosureRegionRequirements` to `rustc_borrowck` | lcnr | -4/+6 |
| 2025-04-07 | rm `RegionInferenceContext::var_infos` | lcnr | -4/+1 |
| 2025-04-07 | Trivial tweaks to stop tracking source span directly | Michael Goulet | -14/+18 |
| 2025-03-15 | Squash fold into ty | Michael Goulet | -2/+1 |
| 2025-02-28 | Optimize `Trace`. | Nicholas Nethercote | -36/+51 |
| 2025-02-28 | Split the `Edges` iterator. | Nicholas Nethercote | -12/+28 |
| 2025-02-22 | Greatly simplify lifetime captures in edition 2024 | Michael Goulet | -6/+4 |
| 2025-02-18 | eval_outlives: bail out early if both regions are in the same SCC | Amanda Stjerna | -0/+5 |
| 2025-01-12 | replace location-insensitive analysis with location-sensitive analysis | Rémy Rakic | -22/+15 |
| 2025-01-08 | Rollup merge of #135250 - lqd:simple-cleanups, r=matthewjasper | Matthias Krüger | -2/+2 |
| 2025-01-08 | Auto merge of #133858 - dianne:better-blame-constraints-for-static, r=lcnr | bors | -127/+106 |
| 2025-01-08 | stop calling `DenseLocationMap` "elements" | Rémy Rakic | -2/+2 |
| 2025-01-07 | Rollup merge of #133810 - lcnr:remove-verify_bound, r=compiler-errors | Matthias Krüger | -18/+8 |
| 2025-01-06 | only avoid blaming assignments from argument patterns | dianne | -10/+7 |
| 2025-01-06 | make outlives constraints from generic arguments less boring | dianne | -10/+16 |
| 2025-01-06 | `best_blame_constraint`: prioritize blaming interesting-seeming constraints | dianne | -72/+87 |
| 2025-01-06 | `best_blame_constraint`: avoid blaming assignments without user-provided types | dianne | -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 SCC | dianne | -49/+11 |