| Age | Commit message (Expand) | Author | Lines |
|---|
| 2025-09-08 | Only consider auto traits empty for the purposes of omitting vptrs from subtr... | Zachary S | -1/+6 |
| 2025-08-14 | Revert "Remove the witness type from coroutine args" | lcnr | -12/+6 |
| 2025-08-01 | Auto merge of #144458 - compiler-errors:no-witness-mini, r=lcnr | bors | -36/+51 |
| 2025-08-01 | Auto merge of #144446 - nnethercote:opt-region-constraints, r=lcnr | bors | -21/+24 |
| 2025-07-31 | Remove the witness type from coroutine args | Michael Goulet | -6/+12 |
| 2025-07-31 | Extract borrowck coroutine drop-liveness hack | Michael Goulet | -2/+5 |
| 2025-07-31 | Stall coroutines based off of ty::Coroutine, not ty::CoroutineWitness | Michael Goulet | -28/+34 |
| 2025-07-31 | Overhaul `Constraint`. | Nicholas Nethercote | -21/+24 |
| 2025-07-31 | Remove `ParamEnvAnd::into_parts`. | Nicholas Nethercote | -1/+1 |
| 2025-07-31 | Move `ImplHeader` out of `rustc_middle`. | Nicholas Nethercote | -6/+19 |
| 2025-07-28 | Rename trait_of_item -> trait_of_assoc | Cameron Steffen | -2/+2 |
| 2025-07-28 | use let chains in mir, resolve, target | Kivooeo | -28/+24 |
| 2025-07-20 | Consider param-env for fast path | Michael Goulet | -4/+22 |
| 2025-07-18 | Auto merge of #143545 - compiler-errors:coroutine-obl, r=oli-obk | bors | -25/+89 |
| 2025-07-17 | Eagerly unify coroutine witness in old solver | Michael Goulet | -9/+40 |
| 2025-07-17 | Unstall obligations by looking for coroutines in old solver | Michael Goulet | -7/+32 |
| 2025-07-17 | Auto merge of #144044 - fmease:rollup-kg413pt, r=fmease | bors | -0/+7 |
| 2025-07-16 | trait_sel: `MetaSized` always holds temporarily | David Wood | -0/+7 |
| 2025-07-15 | Add alias for ArgOutlivesPredicate | Michael Goulet | -1/+1 |
| 2025-07-15 | Consider outlives assumptions when proving auto traits for coroutine interiors | Michael Goulet | -25/+89 |
| 2025-07-15 | Implement other logics | tiif | -0/+10 |
| 2025-07-15 | Add the core logic in old and new solvers | tiif | -2/+19 |
| 2025-07-14 | Rollup merge of #143901 - compiler-errors:region-constraint-nits, r=lcnr | Samuel Tardieu | -4/+1 |
| 2025-07-13 | Simplify make_query_region_constraints | Michael Goulet | -4/+1 |
| 2025-07-13 | Retire hir::*ItemRef. | Camille GILLOT | -2/+2 |
| 2025-07-10 | Rollup merge of #143640 - oli-obk:const-fn-traits, r=compiler-errors | Matthias Krüger | -1/+50 |
| 2025-07-08 | Instantiate binder for Copy/Clone/Sized eagerly | Michael Goulet | -196/+222 |
| 2025-07-08 | Instantiate auto trait before computing higher-ranked constituent types | Michael Goulet | -16/+23 |
| 2025-07-08 | Remove `const_eval_select` hack | Oli Scherer | -5/+2 |
| 2025-07-08 | Constify `Fn*` traits | Oli Scherer | -1/+53 |
| 2025-07-07 | remove `has_nested` | lcnr | -59/+52 |
| 2025-07-04 | Rollup merge of #143308 - compiler-errors:no-pointer-like, r=oli-obk | Matthias Krüger | -78/+1 |
| 2025-07-04 | Rollup merge of #143307 - compiler-errors:fast-path-nitpicks, r=lcnr | Jacob Pratt | -15/+6 |
| 2025-07-03 | Remove PointerLike trait | Michael Goulet | -78/+1 |
| 2025-07-03 | Rollup merge of #134006 - klensy:typos, r=nnethercote | Jana Dönszelmann | -5/+5 |
| 2025-07-03 | setup CI and tidy to use typos for spellchecking and fix few typos | klensy | -5/+5 |
| 2025-07-02 | Rollup merge of #143235 - compiler-errors:const-item-bound, r=oli-obk | Matthias Krüger | -1/+66 |
| 2025-07-02 | Consider polarity in sizedness fast path | Michael Goulet | -3/+4 |
| 2025-07-02 | Use is_trivially_wf for ProvePredicate fast path | Michael Goulet | -12/+2 |
| 2025-07-01 | Remove support for dyn* | Michael Goulet | -1/+0 |
| 2025-06-30 | Assemble const bounds via normal item bounds in old solver too | Michael Goulet | -1/+66 |
| 2025-06-27 | Rollup merge of #139858 - oli-obk:new-const-traits-syntax, r=fee1-dead | Matthias Krüger | -10/+10 |
| 2025-06-27 | Auto merge of #142223 - compiler-errors:perf-wf, r=lcnr | bors | -2/+10 |
| 2025-06-26 | Rollup merge of #142927 - compiler-errors:note-find-const, r=BoxyUwU | Michael Goulet | -2/+2 |
| 2025-06-26 | Rollup merge of #142647 - compiler-errors:less-work-in-coherence, r=lcnr | Michael Goulet | -17/+26 |
| 2025-06-26 | Rollup merge of #142637 - compiler-errors:less-globs, r=lcnr | Michael Goulet | -45/+47 |
| 2025-06-26 | const-eval: allow constants to refer to mutable/external memory, but reject s... | Ralf Jung | -2/+4 |
| 2025-06-26 | Change const trait bound syntax from ~const to [const] | Oli Scherer | -10/+10 |
| 2025-06-25 | Remove some glob imports from the type system | Michael Goulet | -45/+47 |
| 2025-06-25 | Compute hard errors without diagnostics in impl_intersection_has_impossible_o... | Michael Goulet | -17/+26 |
