| Age | Commit message (Expand) | Author | Lines |
|---|
| 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 |
| 2025-06-24 | Apply fast path to old solver too | Michael Goulet | -2/+10 |
| 2025-06-23 | Add note to find_const_ty_from_env | Michael Goulet | -2/+2 |
| 2025-06-22 | Rollup merge of #142458 - oli-obk:dyn-incompat, r=compiler-errors | Guillaume Gomez | -1/+1 |
| 2025-06-18 | Rollup merge of #142619 - klensy:or_fun_call, r=nnethercote | Jakub Beránek | -1/+1 |
| 2025-06-17 | apply clippy::or_fun_call | klensy | -1/+1 |
| 2025-06-16 | trait_sel: skip `nominal_obligations` for `Sized` | David Wood | -0/+8 |
| 2025-06-16 | trait_sel: skip elaboration of sizedness supertrait | David Wood | -6/+69 |
| 2025-06-16 | trait_sel: extend fast path with sized hierarchy | David Wood | -7/+11 |
| 2025-06-16 | trait_sel: `MetaSized` bounds in dispatchable check | David Wood | -8/+15 |
| 2025-06-16 | trait_sel: `{Meta,Pointee}Sized` on `?Sized` types | David Wood | -19/+39 |
| 2025-06-16 | trait_sel: `{Meta,Pointee}Sized` on `Sized` types | David Wood | -0/+8 |
| 2025-06-14 | Rollup merge of #141811 - mejrs:bye_locals, r=compiler-errors | Matthias Krüger | -2/+2 |
