| Age | Commit message (Expand) | Author | Lines |
| 2025-07-18 | Update comment about `where Ty:` | León Orell Valerian Liehr | -10/+6 |
| 2025-07-17 | parse `const trait Trait` | Deadbeef | -2/+2 |
| 2025-07-15 | Implement other logics | tiif | -0/+2 |
| 2025-07-15 | Lower the UnstableFeatureBound predicate to UnstableFeature predicate | tiif | -0/+14 |
| 2025-06-27 | Rollup merge of #143106 - yotamofek:pr/gce/non-local-ice, r=BoxyUwU | Matthias Krüger | -1/+3 |
| 2025-06-27 | gce: don't ICE on non-local const | Yotam Ofek | -1/+3 |
| 2025-06-26 | Change const trait bound syntax from ~const to [const] | Oli Scherer | -3/+3 |
| 2025-06-16 | hir_analysis: add `{Meta,Pointee}Sized` bounds | David Wood | -5/+20 |
| 2025-04-10 | Rollup merge of #139510 - nnethercote:name-to-ident, r=fee1-dead | Matthias Krüger | -8/+8 |
| 2025-04-10 | Rename some `name` variables as `ident`. | Nicholas Nethercote | -8/+8 |
| 2025-04-08 | clean code: remove Deref<Target=RegionKind> impl for Region and use `.kind()` | xizheyin | -1/+1 |
| 2025-04-04 | Default auto traits: fix perf | Bryanskiy | -27/+3 |
| 2025-04-04 | Auto merge of #120706 - Bryanskiy:leak, r=lcnr | bors | -4/+57 |
| 2025-04-03 | Initial support for auto traits with default bounds | Bryanskiy | -4/+57 |
| 2025-04-02 | Move methods from `Map` to `TyCtxt`, part 5. | Nicholas Nethercote | -1/+1 |
| 2025-03-18 | Move `hir::Item::ident` into `hir::ItemKind`. | Nicholas Nethercote | -3/+4 |
| 2025-03-01 | Rollup merge of #137837 - fee1-dead-contrib:push-pvqvwuvrnwsy, r=compiler-errors | Matthias Krüger | -7/+3 |
| 2025-03-01 | Update `const_conditions` and `explicit_implied_const_bounds` docs | Deadbeef | -7/+3 |
| 2025-02-28 | Introduce `feature(generic_const_parameter_types)` | Boxy | -4/+1 |
| 2025-02-21 | Move methods from Map to TyCtxt, part 3. | Nicholas Nethercote | -2/+1 |
| 2025-02-18 | Move methods from `Map` to `TyCtxt`, part 2. | Nicholas Nethercote | -2/+2 |
| 2025-02-15 | HIR analysis: Remove unnecessary abstraction over list of clauses | León Orell Valerian Liehr | -18/+17 |
| 2025-02-08 | Rustfmt | bjorn3 | -4/+4 |
| 2025-01-16 | Auto merge of #134504 - oli-obk:push-rltsvnyttwll, r=compiler-errors | bors | -1/+1 |
| 2025-01-10 | remove more redundant into() conversions | Matthias Krüger | -1/+1 |
| 2025-01-09 | Use trait definition cycle detection for trait alias definitions, too | Oli Scherer | -1/+1 |
| 2025-01-04 | turn hir::ItemKind::Fn into a named-field variant | Ralf Jung | -1/+1 |
| 2024-12-18 | Rollup merge of #133926 - compiler-errors:const-conditions, r=lcnr | 许杰友 Jieyou Xu (Joe) | -11/+30 |
| 2024-12-18 | Fix const conditions for RPITITs | Michael Goulet | -11/+30 |
| 2024-12-18 | Re-export more `rustc_span::symbol` things from `rustc_span`. | Nicholas Nethercote | -2/+1 |
| 2024-12-10 | Validate self in host predicates correctly | Michael Goulet | -2/+9 |
| 2024-12-02 | Move `Const::{from_anon_const,try_from_lit}` to hir_ty_lowering | Noah Lev | -38/+58 |
| 2024-11-25 | Refactor `where` predicates, and reserve for attributes support | Frank King | -10/+11 |
| 2024-11-21 | Rollup merge of #133218 - compiler-errors:const-opaque, r=fee1-dead | Matthias Krüger | -3/+10 |
| 2024-11-19 | Implement ~const opaques | Michael Goulet | -1/+8 |
| 2024-11-19 | Rename implied_const_bounds to explicit_implied_const_bounds | Michael Goulet | -2/+2 |
| 2024-11-19 | Introduce `min_generic_const_args` and directly represent paths | Noah Lev | -2/+3 |
| 2024-10-31 | Double check the lowered predicates in type_param_predicates | Michael Goulet | -7/+24 |
| 2024-10-31 | Make SelfTraitThatDefines a tighter filter | Michael Goulet | -18/+42 |
| 2024-10-31 | Make predicate filter in `probe_ty_param_bounds_in_generics` more explicit | Michael Goulet | -17/+17 |
| 2024-10-31 | Auto merge of #132377 - matthiaskrgr:rollup-3p1c6hs, r=matthiaskrgr | bors | -0/+10 |
| 2024-10-30 | Make sure type_param_predicates resolves correctly for RPITIT | Michael Goulet | -0/+10 |
| 2024-10-30 | Rollup merge of #132344 - compiler-errors:same-thing, r=lcnr | Jubilee | -6/+6 |
| 2024-10-30 | Merge HostPolarity and BoundConstness | Michael Goulet | -6/+6 |
| 2024-10-30 | Remap impl-trait lifetimes on HIR instead of AST lowering. | Camille GILLOT | -7/+0 |
| 2024-10-26 | Effects cleanup | Deadbeef | -14/+6 |
| 2024-10-24 | Be better at enforcing that const_conditions is only called on const items | Michael Goulet | -60/+20 |
| 2024-10-24 | Implement const effect predicate in new solver | Michael Goulet | -5/+234 |
| 2024-10-24 | Remove associated type based effects logic | Michael Goulet | -21/+0 |
| 2024-10-23 | nightly feature tracking: get rid of the per-feature bool fields | Ralf Jung | -2/+2 |