| Age | Commit message (Expand) | Author | Lines |
| 2025-09-12 | Introduce trait_item_of | Cameron Steffen | -1/+1 |
| 2025-09-09 | erase_regions to erase_and_anonymize_regions | Boxy | -5/+7 |
| 2025-09-06 | identity uses are ok, even if there are no defining uses | lcnr | -1/+10 |
| 2025-09-02 | Revert introduction of `[workspace.dependencies]`. | Nicholas Nethercote | -4/+4 |
| 2025-09-01 | Auto merge of #145925 - lcnr:revealing-use-closures-2, r=BoxyUwU | bors | -201/+456 |
| 2025-09-01 | use defining uses of all bodies to constrain non-defining uses | lcnr | -201/+456 |
| 2025-09-01 | Introduce `MirDumper` and `MirWriter`. | Nicholas Nethercote | -74/+48 |
| 2025-09-01 | Use trait object references for closures. | Nicholas Nethercote | -3/+3 |
| 2025-08-28 | Add `polonius-engine` to `[workspace.dependencies]`. | Nicholas Nethercote | -1/+1 |
| 2025-08-28 | Add `either` to `[workspace.dependencies]`. | Nicholas Nethercote | -1/+1 |
| 2025-08-27 | Auto merge of #145923 - matthiaskrgr:rollup-rkejtos, r=matthiaskrgr | bors | -2/+2 |
| 2025-08-27 | Auto merge of #140737 - amandasystems:revised-constraint-search, r=lcnr | bors | -202/+247 |
| 2025-08-27 | Add `itertools` to `[workspace.dependencies]`. | Nicholas Nethercote | -1/+1 |
| 2025-08-27 | Add `tracing` to `[workspace.dependencies]`. | Nicholas Nethercote | -1/+1 |
| 2025-08-25 | Auto merge of #145711 - lcnr:non-defining-uses-hir-typeck, r=BoxyUwU | bors | -10/+9 |
| 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-25 | Rollup merge of #145620 - compiler-errors:fake-dyn-to-dyn, r=lcnr | Stuart Cook | -62/+74 |
| 2025-08-23 | Simplify SCC annotations somewhat | Amanda Stjerna | -24/+8 |
| 2025-08-23 | Nits | Michael Goulet | -71/+72 |
| 2025-08-23 | Account for impossible bounds making seemingly unsatisfyable dyn-to-dyn casts | Michael Goulet | -11/+22 |
| 2025-08-22 | change HIR typeck unification handling approach | lcnr | -45/+51 |
| 2025-08-22 | Region inference: Use outlives-static constraints in constraint search | Amanda Stjerna | -188/+249 |
| 2025-08-21 | Auto merge of #145701 - jhpratt:rollup-a0kg33p, r=jhpratt | bors | -1/+1 |
| 2025-08-20 | diagnostics :3 | lcnr | -19/+43 |
| 2025-08-20 | handle opaque types before region inference | lcnr | -1128/+957 |
| 2025-08-20 | `region_infer::opaque_types` to folder | lcnr | -0/+0 |
| 2025-08-20 | `fully_perform_op_raw` out of `TypeChecker` | lcnr | -31/+75 |
| 2025-08-19 | Defer tail call ret ty equality to check_tail_calls | Michael Goulet | -1/+1 |
| 2025-08-19 | Rollup merge of #142079 - lcnr:opaque-types-universes, r=BoxyUwU | 许杰友 Jieyou Xu (Joe) | -2/+7 |
| 2025-08-19 | Rollup merge of #145041 - lcnr:borrowck-limitations-error, r=BoxyUwU | Stuart Cook | -14/+73 |
| 2025-08-18 | comment style changes | Deadbeef | -35/+34 |
| 2025-08-18 | nll-relate: improve hr opaque types support | lcnr | -2/+7 |
| 2025-08-17 | refactor return type of `suggest_ampmut` into an enum | Deadbeef | -171/+178 |
| 2025-08-16 | overhaul `&mut` suggestions in borrowck errors | Deadbeef | -323/+360 |
| 2025-08-15 | Auto merge of #142071 - lcnr:revealing-use, r=compiler-errors | bors | -1/+12 |
| 2025-08-14 | Adjust error message grammar to be less awkward | Jake Goulding | -1/+1 |
| 2025-08-14 | it's not a borrow checker limitation :< | lcnr | -1/+1 |
| 2025-08-14 | add comment | lcnr | -1/+6 |
| 2025-08-13 | Cleanup assoc parent utils | Cameron Steffen | -5/+3 |
| 2025-08-13 | rework `add_placeholder_from_predicate_note` | lcnr | -9/+49 |
| 2025-08-13 | also consider HR bounds | lcnr | -3/+17 |
| 2025-08-13 | avoid duplicate error string | lcnr | -1/+1 |
| 2025-08-11 | Rollup merge of #145111 - fee1-dead-contrib:push-rlvnyrztlkpq, r=jieyouxu | Guillaume Gomez | -16/+0 |
| 2025-08-11 | remove `from_forall` | lcnr | -18/+15 |
| 2025-08-10 | review comments | Esteban Küber | -5/+7 |
| 2025-08-10 | Add support for method calls | Esteban Küber | -33/+41 |
| 2025-08-10 | Point at the `Fn()` or `FnMut()` bound that coerced a closure, which caused a... | Esteban Küber | -1/+39 |
| 2025-08-10 | Rollup merge of #145191 - dianne:fix-borrow-suggestion-args, r=compiler-errors | Stuart Cook | -7/+22 |
| 2025-08-10 | Rollup merge of #143093 - lqd:polonius-pre-alpha, r=jackh726 | Stuart Cook | -201/+31 |