| Age | Commit message (Expand) | Author | Lines |
|---|
| 2025-05-05 | Deeply normalize in the new solver in WF | Michael Goulet | -8/+39 |
| 2025-04-28 | Rollup merge of #140249 - BoxyUwU:remove_weak_alias_terminology, r=oli-obk | Guillaume Gomez | -2/+2 |
| 2025-04-27 | Auto merge of #139646 - lcnr:default-is-fully-concrete, r=BoxyUwU | bors | -0/+33 |
| 2025-04-26 | convert some `GenericArg` to `Term` | lcnr | -8/+3 |
| 2025-04-24 | check types of const param default | lcnr | -0/+33 |
| 2025-04-24 | Remove `weak` alias terminology | Boxy | -2/+2 |
| 2025-04-15 | Move `name` field from `AssocItem` to `AssocKind` variants. | Nicholas Nethercote | -2/+2 |
| 2025-04-15 | Move `opt_rpitit_info` field to `hir::AssocKind::Type`. | Nicholas Nethercote | -3/+3 |
| 2025-04-14 | Move `has_self` field to `hir::AssocKind::Fn`. | Nicholas Nethercote | -3/+3 |
| 2025-04-08 | clean code: remove Deref<Target=RegionKind> impl for Region and use `.kind()` | xizheyin | -2/+2 |
| 2025-03-28 | Rollup merge of #137889 - mu001999-contrib:update-doc, r=wesleywiser | Matthias Krüger | -2/+2 |
| 2025-03-18 | Move `hir::Item::ident` into `hir::ItemKind`. | Nicholas Nethercote | -11/+13 |
| 2025-03-15 | Stop relying on rustc_type_ir in non-type-system crates | Michael Goulet | -4/+4 |
| 2025-03-15 | Fold visit into ty | Michael Goulet | -1/+1 |
| 2025-03-12 | Move methods from `Map` to `TyCtxt`, part 4. | Nicholas Nethercote | -1/+1 |
| 2025-03-05 | Rollup merge of #137633 - compiler-errors:no-implied-bounds-hack-unless-bevy,... | 许杰友 Jieyou Xu (Joe) | -48/+18 |
| 2025-03-04 | Only use implied bounds hack if bevy, and use deeply normalize in implied bou... | Michael Goulet | -48/+18 |
| 2025-03-03 | Check signature WF when lowering MIR body | Michael Goulet | -1/+1 |
| 2025-03-03 | Tweak error code for sized checks of const/static | Michael Goulet | -3/+11 |
| 2025-03-02 | update outdated doc with new example | Mu001999 | -2/+2 |
| 2025-02-28 | Introduce `feature(generic_const_parameter_types)` | Boxy | -2/+2 |
| 2025-02-21 | Move methods from Map to TyCtxt, part 3. | Nicholas Nethercote | -1/+1 |
| 2025-02-19 | Restrict bevy hack | Michael Goulet | -28/+26 |
| 2025-02-18 | Move methods from `Map` to `TyCtxt`, part 2. | Nicholas Nethercote | -1/+1 |
| 2025-02-17 | Move some `Map` methods onto `TyCtxt`. | Nicholas Nethercote | -1/+1 |
| 2025-02-13 | Implement lint for definition site item shadowing too | Michael Goulet | -0/+45 |
| 2025-02-08 | Rustfmt | bjorn3 | -16/+21 |
| 2025-02-04 | Rollup merge of #136274 - compiler-errors:sized-wf, r=lcnr | Matthias Krüger | -2/+28 |
| 2025-02-03 | Check Sizedness of return type in WF | Michael Goulet | -2/+28 |
| 2025-02-03 | Rollup merge of #136432 - fmease:lta-fix-def-site-checks, r=compiler-errors | 许杰友 Jieyou Xu (Joe) | -11/+13 |
| 2025-02-03 | LTA: Check where-clauses for well-formedness at the def site | León Orell Valerian Liehr | -11/+13 |
| 2025-02-01 | Rename `tcx.ensure()` to `tcx.ensure_ok()` | Zalathar | -7/+9 |
| 2025-01-31 | Use `.and` chaining to improve readability. | Nicholas Nethercote | -8/+6 |
| 2025-01-28 | Move outlives env computation into methods | Michael Goulet | -7/+10 |
| 2025-01-28 | Consolidate OutlivesEnv construction with resolve_regions | Michael Goulet | -11/+10 |
| 2025-01-23 | Split hir `TyKind` and `ConstArgKind` in two and update `hir::Visitor` | Boxy | -2/+2 |
| 2025-01-08 | Remove some unnecessary `.into()` calls | Esteban Küber | -1/+1 |
| 2025-01-04 | turn hir::ItemKind::Fn into a named-field variant | Ralf Jung | -1/+1 |
| 2025-01-01 | Fix ICE when opaque captures a duplicated/invalid lifetime | Michael Goulet | -1/+4 |
| 2024-12-18 | introduce `LateParamRegionKind` | lcnr | -1/+4 |
| 2024-12-18 | Re-export more `rustc_span::symbol` things from `rustc_span`. | Nicholas Nethercote | -2/+1 |
| 2024-12-14 | Arbitrary self types v2: Weak, NonNull hints | Adrian Taylor | -1/+13 |
| 2024-12-13 | Arbitrary self types v2: adjust diagnostic. | Adrian Taylor | -1/+7 |
| 2024-12-11 | Arbitrary self types v2: use Receiver trait | Adrian Taylor | -10/+17 |
| 2024-12-09 | Unconditionally error at definition if default field value has const errors | Esteban Küber | -0/+19 |
| 2024-12-03 | Rollup merge of #133517 - compiler-errors:deep-norm, r=lcnr | Matthias Krüger | -2/+1 |
| 2024-12-02 | Assert that obligations are empty before deeply normalizing | Michael Goulet | -2/+1 |
| 2024-12-02 | Move `Const::{from_anon_const,try_from_lit}` to hir_ty_lowering | Noah Lev | -13/+8 |
| 2024-11-25 | Refactor `where` predicates, and reserve for attributes support | Frank King | -4/+4 |
| 2024-11-23 | no more Reveal :( | lcnr | -1/+1 |
