| Age | Commit message (Expand) | Author | Lines |
| 2025-06-24 | Introduce trivial WF functions, use it in fast path | Michael Goulet | -0/+13 |
| 2025-06-13 | Uplift BoundVarReplacer | Michael Goulet | -0/+4 |
| 2025-05-22 | Review Comments | Boxy | -2/+7 |
| 2025-05-21 | Introduce `tcx.anon_const_kind` query | Boxy | -1/+9 |
| 2025-04-12 | Move FlagComputation, PatternKind, and TypeWalker to rustc_type_ir | jackh726 | -0/+15 |
| 2025-03-15 | Fold visit into ty | Michael Goulet | -1/+1 |
| 2025-02-13 | intern valtrees | Lukas Markeffsky | -3/+3 |
| 2025-01-30 | add comments | Lukas Markeffsky | -0/+6 |
| 2025-01-30 | check the types in `ty::Value` to value conversion | Lukas Markeffsky | -7/+0 |
| 2025-01-30 | introduce `ty::Value` | Lukas Markeffsky | -27/+11 |
| 2024-12-02 | Move `Const::{from_anon_const,try_from_lit}` to hir_ty_lowering | Noah Lev | -82/+2 |
| 2024-11-24 | Simplify array length mismatch error reporting | Michael Goulet | -4/+0 |
| 2024-11-23 | no more Reveal :( | lcnr | -1/+1 |
| 2024-11-19 | Introduce `min_generic_const_args` and directly represent paths | Noah Lev | -95/+9 |
| 2024-11-18 | use `TypingEnv` when no `infcx` is available | lcnr | -11/+16 |
| 2024-11-12 | Consolidate type system const evaluation under `traits::evaluate_const` | Boxy | -57/+2 |
| 2024-10-22 | Rollup merge of #131049 - compiler-errors:more-validation, r=spastorino | Matthias Krüger | -0/+1 |
| 2024-10-19 | Rename normalize to normalize_internal, remove unnecessary usages | Michael Goulet | -1/+1 |
| 2024-10-19 | Get rid of const eval_* and try_eval_* helpers | Michael Goulet | -100/+32 |
| 2024-10-01 | make InterpResult a dedicated type to avoid accidentally discarding the error | Ralf Jung | -1/+1 |
| 2024-09-30 | Debug assert that unevaluated consts have the right substs | Michael Goulet | -0/+1 |
| 2024-09-22 | Reformat using the new identifier sorting from rustfmt | Michael Goulet | -8/+5 |
| 2024-09-20 | Only expect mono consts in CFI | Michael Goulet | -0/+4 |
| 2024-09-12 | Re-enable `ConstArgKind::Path` lowering by default | Noah Lev | -13/+5 |
| 2024-09-11 | clippy::useless_conversion | Michael Goulet | -1/+1 |
| 2024-08-19 | Retroactively feature gate `ConstArgKind::Path` | Boxy | -10/+22 |
| 2024-08-16 | Special-case alias ty in `try_from_lit` | Jaic1 | -0/+4 |
| 2024-07-29 | Reformat `use` declarations. | Nicholas Nethercote | -5/+5 |
| 2024-07-19 | Auto merge of #125915 - camelid:const-arg-refactor, r=BoxyUwU | bors | -41/+85 |
| 2024-07-18 | const_to_pat: cleanup leftovers from when we had to deal with non-structural ... | Ralf Jung | -14/+38 |
| 2024-07-18 | valtree construction: keep track of which type was valtree-incompatible | Ralf Jung | -2/+1 |
| 2024-07-16 | Add `ConstArgKind::Path` and make `ConstArg` its own HIR node | Noah Lev | -10/+9 |
| 2024-07-16 | Use `ConstArg` for const param defaults | Noah Lev | -4/+4 |
| 2024-07-16 | Setup ty::Const functions for `ConstArg` | Noah Lev | -36/+81 |
| 2024-06-18 | Uplift the new trait solver | Michael Goulet | -1/+5 |
| 2024-06-10 | ScalarInt: size mismatches are a bug, do not delay the panic | Ralf Jung | -3/+3 |
| 2024-06-06 | Uplift TypeRelation and Relate | Michael Goulet | -0/+8 |
| 2024-06-05 | Add `Ty` to `ConstKind::Value` | Boxy | -25/+22 |
| 2024-06-05 | Basic removal of `Ty` from places (boring) | Boxy | -96/+48 |
| 2024-06-04 | Downsize `ty::Expr` | Boxy | -2/+2 |
| 2024-05-26 | Uplift EarlyBinder | Michael Goulet | -0/+9 |
| 2024-05-26 | Give EarlyBinder a tcx parameter | Michael Goulet | -1/+4 |
| 2024-05-23 | Remove `#[macro_use] extern crate tracing` from `rustc_middle`. | Nicholas Nethercote | -0/+1 |
| 2024-05-20 | Rework var resolution in InferCtxtLike, uplift EagerResolver | Michael Goulet | -0/+8 |
| 2024-05-13 | Remove to_term | Michael Goulet | -4/+0 |
| 2024-05-13 | Uplift AliasTy | Michael Goulet | -3/+15 |
| 2024-05-10 | Lift `TraitRef` into `rustc_type_ir` | Michael Goulet | -9/+7 |
| 2024-04-29 | Remove `extern crate rustc_data_structures` from numerous crates. | Nicholas Nethercote | -2/+2 |
| 2024-04-29 | Remove `extern crate rustc_macros` from `rustc_middle`. | Nicholas Nethercote | -1/+1 |
| 2024-04-19 | Auto merge of #124113 - RalfJung:interpret-scalar-ops, r=oli-obk | bors | -1/+1 |