| Age | Commit message (Expand) | Author | Lines |
|---|
| 2025-07-15 | Consider outlives assumptions when proving auto traits for coroutine interiors | Michael Goulet | -5/+20 |
| 2025-07-08 | Instantiate binder for Copy/Clone/Sized eagerly | Michael Goulet | -10/+16 |
| 2025-07-08 | Instantiate auto trait before computing higher-ranked constituent types | Michael Goulet | -0/+1 |
| 2025-07-07 | remove `has_nested` | lcnr | -41/+38 |
| 2025-07-03 | Remove PointerLike trait | Michael Goulet | -78/+1 |
| 2025-07-03 | setup CI and tidy to use typos for spellchecking and fix few typos | klensy | -1/+1 |
| 2025-06-25 | Remove some glob imports from the type system | Michael Goulet | -17/+16 |
| 2025-06-16 | trait_sel: skip elaboration of sizedness supertrait | David Wood | -3/+13 |
| 2025-06-16 | trait_sel: `{Meta,Pointee}Sized` on `?Sized` types | David Wood | -4/+12 |
| 2025-06-16 | trait_sel: `{Meta,Pointee}Sized` on `Sized` types | David Wood | -0/+2 |
| 2025-06-09 | transmutability: shift abstraction boundary | Jack Wrenn | -97/+46 |
| 2025-06-05 | Replace some `Option<Span>` with `Span` and use DUMMY_SP instead of None | Oli Scherer | -13/+15 |
| 2025-05-21 | Auto merge of #140386 - oli-obk:match-on-lang-item-kind, r=compiler-errors | bors | -10/+5 |
| 2025-05-01 | Set groundwork for proper const normalization | Boxy | -1/+0 |
| 2025-04-30 | Use less rustc_type_ir in the compiler codebase | Romain Perier | -2/+1 |
| 2025-04-29 | Also match on the lang item in confirmation | Oli Scherer | -10/+5 |
| 2025-04-15 | Move `opt_rpitit_info` field to `hir::AssocKind::Type`. | Nicholas Nethercote | -3/+1 |
| 2025-04-08 | Rollup merge of #139541 - compiler-errors:transmute, r=lcnr | Matthias Krüger | -3/+3 |
| 2025-04-08 | Instantiate higher-ranked transmute goal | Michael Goulet | -3/+3 |
| 2025-04-05 | Fix trait upcasting to dyn type with no principal when there are projections | Michael Goulet | -14/+24 |
| 2025-03-31 | increment depth of nested obligations | lcnr | -10/+2 |
| 2025-03-31 | Rollup merge of #138176 - compiler-errors:rigid-sized-obl, r=lcnr | Matthias Krüger | -0/+5 |
| 2025-03-24 | Instantiate binder before registering nested obligations for auto/built-in tr... | Michael Goulet | -24/+13 |
| 2025-03-18 | Remove existing AFIDT implementation | Michael Goulet | -6/+0 |
| 2025-03-13 | Only prefer Sized candidates, and only if they certainly hold | Michael Goulet | -2/+2 |
| 2025-03-13 | Prefer built-in sized impls for rigid types always | Michael Goulet | -0/+5 |
| 2025-03-09 | Do not register `Self: AutoTrait` when confirming auto trait | Michael Goulet | -15/+1 |
| 2025-03-06 | Rollup merge of #137910 - compiler-errors:async-fn-goal-error, r=oli-obk | Michael Goulet | -1/+3 |
| 2025-03-05 | Rollup merge of #137728 - Darksonn:no-tuple-unsize, r=oli-obk | 许杰友 Jieyou Xu (Joe) | -29/+0 |
| 2025-03-04 | mgca: Lower all const paths as `ConstArgKind::Path` | Noah Lev | -1/+1 |
| 2025-03-03 | Improve error message for AsyncFn trait failure for RPIT | Michael Goulet | -1/+3 |
| 2025-02-28 | Remove `allow(unused_variables)` for `rustc_transmute`. | Nicholas Nethercote | -8/+3 |
| 2025-02-28 | Remove `rustc_transmute`'s dependence on `rustc_infer`. | Nicholas Nethercote | -1/+1 |
| 2025-02-27 | Delete tuple unsizing | Alice Ryhl | -29/+0 |
| 2025-02-13 | Implement and use BikeshedGuaranteedNoDrop for union/unsafe field validity | Michael Goulet | -0/+92 |
| 2025-02-08 | Rustfmt | bjorn3 | -36/+49 |
| 2025-01-18 | Get rid of `ToPolyTraitRef` | Michael Goulet | -3/+4 |
| 2025-01-14 | Prefer lower TraitUpcasting candidates | Michael Goulet | -1/+1 |
| 2024-12-31 | Make sure we check the future type is Sized in AsyncFn* | Michael Goulet | -3/+20 |
| 2024-12-10 | Don't check RPITITs that are Self:Sized for PointerLike | Michael Goulet | -0/+5 |
| 2024-12-10 | Implement projection and shim for AFIDT | Michael Goulet | -0/+74 |
| 2024-12-04 | No need to create placeholders for GAT args in confirm_object_candidate | Michael Goulet | -52/+2 |
| 2024-12-03 | Remove generic_associated_types_extended feature gate | Michael Goulet | -1/+1 |
| 2024-11-12 | Consolidate type system const evaluation under `traits::evaluate_const` | Boxy | -1/+1 |
| 2024-11-05 | Auto merge of #132580 - compiler-errors:globs, r=Noratrieb | bors | -1/+1 |
| 2024-11-04 | ty::BrK -> ty::BoundRegionKind::K | Michael Goulet | -1/+1 |
| 2024-11-02 | No need to instantiate binder in confirm_async_closure_candidate | Michael Goulet | -9/+3 |
| 2024-10-23 | nightly feature tracking: get rid of the per-feature bool fields | Ralf Jung | -2/+2 |
| 2024-10-21 | Auto merge of #131988 - matthiaskrgr:rollup-tx173wn, r=matthiaskrgr | bors | -183/+8 |
| 2024-10-20 | Rip out old effects var handling code from traits | Michael Goulet | -183/+8 |
