| Age | Commit message (Expand) | Author | Lines |
|---|
| 2025-10-02 | Auto merge of #147138 - jackh726:split-canonical-bound, r=lcnr | bors | -1/+1 |
| 2025-10-02 | Auto merge of #147055 - beepster4096:subtype_is_not_a_projection, r=lcnr | bors | -21/+6 |
| 2025-09-30 | Split Bound into Canonical and Bound | jackh726 | -1/+1 |
| 2025-09-30 | Rollup merge of #147109 - BoxyUwU:rename_concrete_opaques, r=lcnr | Stuart Cook | -62/+44 |
| 2025-09-29 | more rename | Boxy Uwu | -21/+29 |
| 2025-09-28 | Point at multiple outlives requirements instead of just the first one | Esteban Küber | -5/+8 |
| 2025-09-28 | Address review comment | Esteban Küber | -10/+14 |
| 2025-09-28 | reword note | Esteban Küber | -1/+1 |
| 2025-09-28 | Point at lifetime requirement origin in more cases | Esteban Küber | -17/+15 |
| 2025-09-28 | Point at fn bound that introduced lifetime obligation | Esteban Küber | -1/+10 |
| 2025-09-27 | Rename various "concrete opaque type" terminology to say "hidden type" | Boxy Uwu | -69/+43 |
| 2025-09-26 | ProjectionElem::Subtype -> CastKind::Subtype | beepster4096 | -21/+6 |
| 2025-09-24 | Rollup merge of #146711 - lcnr:fix-placeholder-ice, r=lqd | Matthias Krüger | -3/+17 |
| 2025-09-24 | fix wording | lcnr | -1/+1 |
| 2025-09-18 | Rollup merge of #146717 - amandasystems:remove-placeholder-hack, r=lcnr | Matthias Krüger | -12/+18 |
| 2025-09-18 | Rollup merge of #146597 - modhanami:add-struct-tail-recursion-limit-span, r=o... | Matthias Krüger | -6/+10 |
| 2025-09-18 | Clean up universe evaluation during type test evaluation | Amanda Stjerna | -12/+18 |
| 2025-09-18 | internal constraints are better than placeholder outlives | lcnr | -3/+4 |
| 2025-09-18 | fix location for nested bodies in promoteds | lcnr | -0/+13 |
| 2025-09-18 | Rollup merge of #146664 - fmease:clean-up-dyn, r=jdonszelmann | Stuart Cook | -8/+6 |
| 2025-09-17 | Remove `DynKind` | León Orell Valerian Liehr | -8/+6 |
| 2025-09-16 | Remove Rvalue::Len. | Camille Gillot | -11/+3 |
| 2025-09-16 | Add span for struct tail recursion limit error | Tawan Muadmuenwai | -6/+10 |
| 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 |
