| Age | Commit message (Expand) | Author | Lines |
|---|
| 2025-09-29 | more rename | Boxy Uwu | -12/+17 |
| 2025-09-27 | Rename various "concrete opaque type" terminology to say "hidden type" | Boxy Uwu | -53/+30 |
| 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 | -2/+2 |
| 2025-09-06 | identity uses are ok, even if there are no defining uses | lcnr | -1/+10 |
| 2025-09-01 | Auto merge of #145925 - lcnr:revealing-use-closures-2, r=BoxyUwU | bors | -76/+88 |
| 2025-09-01 | use defining uses of all bodies to constrain non-defining uses | lcnr | -76/+88 |
| 2025-08-27 | Auto merge of #140737 - amandasystems:revised-constraint-search, r=lcnr | bors | -125/+84 |
| 2025-08-25 | change non-defining use error message | lcnr | -1/+0 |
| 2025-08-25 | support non-defining uses in HIR typeck | lcnr | -10/+10 |
| 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 | -112/+83 |
| 2025-08-20 | diagnostics :3 | lcnr | -18/+42 |
| 2025-08-20 | handle opaque types before region inference | lcnr | -446/+869 |
| 2025-08-20 | `region_infer::opaque_types` to folder | lcnr | -0/+0 |
| 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 | -36/+44 |
| 2025-08-08 | borrowck: defer opaque type errors | lcnr | -36/+44 |
| 2025-08-08 | apply_member_constraints: fix placeholder check | lcnr | -1/+8 |
| 2025-08-06 | Track names of existentials | Amanda Stjerna | -3/+4 |
| 2025-08-06 | Proposed format | Amanda Stjerna | -3/+3 |
| 2025-08-06 | Add annotations to the graphviz region graph on region origins | Amanda Stjerna | -1/+15 |
| 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-07-04 | Remove Symbol for Named LateParam/Bound variants | Michael Goulet | -9/+25 |
| 2025-06-05 | Auto merge of #140466 - amandasystems:move-to-preprocessing-step, r=lcnr | bors | -198/+56 |
| 2025-06-04 | Use an enum for SCC representatives, plus other code review | Amanda Stjerna | -38/+56 |
| 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 | -18/+11 |
| 2025-05-03 | `fn check_opaque_type_parameter_valid` defer error | lcnr | -2/+2 |
| 2025-05-03 | add `ReverseSccGraph::compute` | lcnr | -18/+27 |
| 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 | -23/+20 |
| 2025-04-24 | Some drive-by housecleaning in `rustc_borrowck` | Amanda Stjerna | -23/+20 |
| 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 | -5/+2 |
| 2025-04-08 | Rollup merge of #139509 - xizheyin:issue-139359, r=lcnr | Matthias Krüger | -1/+1 |
| 2025-04-08 | Rollup merge of #139476 - lcnr:rm-var_infos, r=compiler-errors | Matthias Krüger | -4/+1 |
| 2025-04-08 | clean code: remove Deref<Target=RegionKind> impl for Region and use `.kind()` | xizheyin | -1/+1 |
| 2025-04-08 | move `ClosureRegionRequirements` to `rustc_borrowck` | lcnr | -4/+6 |
| 2025-04-08 | borrowck typeck children together with their parent | lcnr | -6/+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-04-03 | add `TypingMode::Borrowck` | lcnr | -5/+13 |
