| Age | Commit message (Expand) | Author | Lines |
|---|
| 2025-08-19 | Auto merge of #145600 - jieyouxu:rollup-jw0bpnt, r=jieyouxu | bors | -22/+19 |
| 2025-08-19 | Rollup merge of #145537 - zachs18:metasized-negative-bound-fix, r=davidtwco | 许杰友 Jieyou Xu (Joe) | -4/+13 |
| 2025-08-19 | Rollup merge of #145338 - lcnr:coroutine-witness-yikes, r=compiler-errors | 许杰友 Jieyou Xu (Joe) | -18/+6 |
| 2025-08-17 | Do not consider a `T: !Sized` candidate to satisfy a `T: !MetaSized` obligation. | Zachary S | -4/+13 |
| 2025-08-16 | run spellcheck as a tidy extra check in ci | binarycat | -1/+1 |
| 2025-08-14 | update comment | lcnr | -0/+12 |
| 2025-08-14 | ignore head usages of ignored candidates | lcnr | -54/+138 |
| 2025-08-13 | `fn new_coroutine_witness_for_coroutine` woops | lcnr | -18/+6 |
| 2025-08-11 | significantly improve provisional cache rebasing | lcnr | -1/+3 |
| 2025-08-09 | some `derive_more` refactors | Deadbeef | -4/+12 |
| 2025-08-05 | we only merge candidates for trait and normalizes-to goals | lcnr | -69/+48 |
| 2025-08-04 | Rollup merge of #144694 - compiler-errors:with-self-ty, r=SparrowLii | Stuart Cook | -10/+12 |
| 2025-08-03 | Auto merge of #144732 - lcnr:ignore-shadowed-impls, r=compiler-errors | bors | -3/+24 |
| 2025-08-01 | Auto merge of #144458 - compiler-errors:no-witness-mini, r=lcnr | bors | -10/+21 |
| 2025-07-31 | Remove the witness type from coroutine args | Michael Goulet | -3/+17 |
| 2025-07-31 | Stall coroutines based off of ty::Coroutine, not ty::CoroutineWitness | Michael Goulet | -7/+4 |
| 2025-07-31 | Rollup merge of #144712 - nnethercote:dedup-num-types, r=fmease | Jana Dönszelmann | -0/+2 |
| 2025-07-31 | dont assemble shadowed impl candidates | lcnr | -3/+24 |
| 2025-07-31 | Tidy up `Cargo.toml` files. | Nicholas Nethercote | -0/+2 |
| 2025-07-31 | Auto merge of #144405 - lcnr:hir-typeck-uniquify, r=BoxyUwU | bors | -34/+100 |
| 2025-07-30 | Distinguish appending and replacing self ty in predicates | Michael Goulet | -10/+12 |
| 2025-07-30 | extend comment | lcnr | -0/+13 |
| 2025-07-29 | resuse eagerly resolved goal from previous iteration | lcnr | -12/+32 |
| 2025-07-26 | Auto merge of #143500 - compiler-errors:characterize-less, r=lcnr | bors | -4/+9 |
| 2025-07-25 | uniquify root goals during HIR typeck | lcnr | -24/+57 |
| 2025-07-18 | update comment | lcnr | -4/+2 |
| 2025-07-15 | Add the core logic in old and new solvers | tiif | -0/+26 |
| 2025-07-05 | Don't compress input universes | Michael Goulet | -111/+10 |
| 2025-07-05 | [perf] Skip walking into param-env component if it has no placeholder/re-var | Michael Goulet | -4/+9 |
| 2025-07-05 | Canonicalize input ty/ct infer/placeholder in the root universe | Michael Goulet | -8/+23 |
| 2025-07-03 | setup CI and tidy to use typos for spellchecking and fix few typos | klensy | -4/+4 |
| 2025-07-02 | Auto merge of #142974 - cuviper:stage0-bump, r=Mark-Simulacrum | bors | -1/+1 |
| 2025-07-01 | Remove support for dyn* | Michael Goulet | -3/+1 |
| 2025-07-01 | Update `cfg(bootstrap)` | Josh Stone | -1/+1 |
| 2025-06-30 | Rollup merge of #143066 - compiler-errors:let-chain-solver, r=lcnr | dianqk | -91/+80 |
| 2025-06-27 | Rollup merge of #142806 - compiler-errors:norm-ct-has-ty, r=lcnr,BoxyUwU | Matthias Krüger | -0/+1 |
| 2025-06-27 | Rollup merge of #139858 - oli-obk:new-const-traits-syntax, r=fee1-dead | Matthias Krüger | -11/+11 |
| 2025-06-27 | Use one more let chain | Michael Goulet | -24/+23 |
| 2025-06-27 | Use let chains in the new solver | Michael Goulet | -67/+57 |
| 2025-06-26 | Rollup merge of #143073 - yotamofek:pr/fix-let-chains-fixmes, r=compiler-errors | Michael Goulet | -9/+8 |
| 2025-06-26 | Rollup merge of #142927 - compiler-errors:note-find-const, r=BoxyUwU | Michael Goulet | -1/+1 |
| 2025-06-26 | Fix some fixmes that were waiting for let chains | Yotam Ofek | -9/+8 |
| 2025-06-26 | Auto merge of #142774 - lcnr:search_graph-2, r=oli-obk | bors | -137/+47 |
| 2025-06-26 | Change const trait bound syntax from ~const to [const] | Oli Scherer | -11/+11 |
| 2025-06-25 | Normalize before computing ConstArgHasType goal | Michael Goulet | -0/+1 |
| 2025-06-25 | Auto merge of #142746 - compiler-errors:super-implied-outlives, r=lcnr | bors | -9/+6 |
| 2025-06-23 | Simplify API of solver a bit | Michael Goulet | -25/+22 |
| 2025-06-23 | Uplift find_const_ty_from_env | Michael Goulet | -1/+1 |
| 2025-06-23 | inspect: merge `[Canonical]GoalEvaluation` | lcnr | -82/+24 |
| 2025-06-23 | `evaluate_goal`: avoid unnecessary step | lcnr | -62/+30 |
