| Age | Commit message (Expand) | Author | Lines |
|---|
| 2025-05-30 | Auto merge of #141651 - compiler-errors:less-assert, r=lcnr | bors | -11/+12 |
| 2025-05-29 | Auto merge of #141581 - lcnr:fold-clauses, r=compiler-errors | bors | -8/+50 |
| 2025-05-27 | Make some assertions in solver into debug assertions | Michael Goulet | -11/+12 |
| 2025-05-27 | Fix some var names | Michael Goulet | -2/+2 |
| 2025-05-26 | Auto merge of #141605 - jieyouxu:rollup-3gjqh5l, r=jieyouxu | bors | -1/+1 |
| 2025-05-26 | assert we never incorrectly canonicalize envs | lcnr | -0/+7 |
| 2025-05-26 | add additional `TypeFlags` fast paths | lcnr | -8/+43 |
| 2025-05-27 | Rollup merge of #141392 - compiler-errors:query-outlives, r=lcnr | 许杰友 Jieyou Xu (Joe) | -1/+1 |
| 2025-05-26 | Auto merge of #141500 - compiler-errors:rerun-cache-2, r=lcnr | bors | -31/+132 |
| 2025-05-26 | Don't rerun goals if none of its vars have changed | Michael Goulet | -31/+132 |
| 2025-05-26 | Rename | Michael Goulet | -1/+1 |
| 2025-05-25 | Do not canonicalize in new solver if it has nothing to canonicalize | Michael Goulet | -8/+55 |
| 2025-05-23 | yeet `CanonicalVarInfo` | lcnr | -40/+41 |
| 2025-05-22 | Auto merge of #141396 - matthiaskrgr:rollup-feg050g, r=matthiaskrgr | bors | -2/+2 |
| 2025-05-22 | Auto merge of #141397 - matthiaskrgr:rollup-l9uu6g6, r=matthiaskrgr | bors | -1/+1 |
| 2025-05-22 | Rollup merge of #141359 - compiler-errors:async-fn-once, r=lcnr | Matthias Krüger | -1/+1 |
| 2025-05-22 | Rollup merge of #141286 - compiler-errors:querify-coroutine, r=oli-obk | Matthias Krüger | -2/+2 |
| 2025-05-22 | Auto merge of #141135 - compiler-errors:fast-path-2, r=lcnr | bors | -4/+23 |
| 2025-05-21 | Fix FnOnce impl for AsyncFn/AsyncFnMut closures in new solver | Michael Goulet | -1/+1 |
| 2025-05-21 | fix better_any breakage by making the solver more unsound | lcnr | -2/+42 |
| 2025-05-20 | Querify coroutine_hidden_types | Michael Goulet | -2/+2 |
| 2025-05-18 | Fast path for processing some obligations in the new solver | Michael Goulet | -4/+23 |
| 2025-05-15 | Rollup merge of #140712 - lcnr:normalization-gat-args, r=compiler-errors | Matthias Krüger | -27/+61 |
| 2025-05-12 | Fix typos | omahs | -1/+1 |
| 2025-05-08 | refactor `probe_and_consider_param_env_candidate` | lcnr | -15/+14 |
| 2025-05-08 | normalization: avoid incompletely constraining GAT args | lcnr | -19/+54 |
| 2025-05-08 | Rollup merge of #140711 - compiler-errors:combine-maybes, r=lcnr | Matthias Krüger | -14/+19 |
| 2025-05-08 | Rollup merge of #140641 - lcnr:opaque-type-storage-entries, r=compiler-errors | Matthias Krüger | -76/+44 |
| 2025-05-07 | detect additional uses of opaques after writeback | lcnr | -54/+44 |
| 2025-05-07 | opaque_type_storage to InferCtxtLike | lcnr | -22/+0 |
| 2025-05-07 | Use MaybeCause::or to allow constraints from overflows if they are combined w... | Michael Goulet | -14/+19 |
| 2025-05-07 | Review | Michael Goulet | -21/+27 |
| 2025-05-07 | Only prefer param-env candidates if they remain non-global after norm | Michael Goulet | -125/+243 |
| 2025-05-06 | support duplicates in the opaque_types_storage | lcnr | -26/+65 |
| 2025-05-01 | Set groundwork for proper const normalization | Boxy | -11/+28 |
| 2025-04-29 | Treat `ManuallyDrop` as `~const Destruct` | Oli Scherer | -0/+3 |
| 2025-04-28 | Rollup merge of #140402 - lcnr:normalizes-to-certainty-yes, r=compiler-errors | Chris Denton | -32/+66 |
| 2025-04-28 | Rollup merge of #140276 - compiler-errors:typeof-less-eagerly, r=lcnr | Chris Denton | -0/+6 |
| 2025-04-28 | Auto merge of #140388 - GuillaumeGomez:rollup-aj9o3ch, r=GuillaumeGomez | bors | -11/+11 |
| 2025-04-28 | Do not compute type_of for impl item if impl where clauses are unsatisfied | Michael Goulet | -0/+6 |
| 2025-04-28 | review | lcnr | -19/+29 |
| 2025-04-28 | only return nested goals for `Certainty::Yes` | lcnr | -18/+42 |
| 2025-04-28 | Rollup merge of #140249 - BoxyUwU:remove_weak_alias_terminology, r=oli-obk | Guillaume Gomez | -11/+11 |
| 2025-04-28 | AsyncDrop implementation using shim codegen of async_drop_in_place::{closure}... | Andrew Zhogin | -88/+0 |
| 2025-04-26 | Rollup merge of #140320 - lcnr:wf-use-term, r=compiler-errors | Matthias Krüger | -6/+6 |
| 2025-04-26 | convert some `GenericArg` to `Term` | lcnr | -6/+6 |
| 2025-04-25 | handle specialization in the new trait solver | lcnr | -14/+111 |
| 2025-04-24 | norm nested aliases before evaluating the parent goal | lcnr | -139/+89 |
| 2025-04-24 | Remove `weak` alias terminology | Boxy | -11/+11 |
| 2025-04-24 | Rollup merge of #140214 - compiler-errors:remove-hack, r=lcnr | Matthias Krüger | -12/+0 |
