| Age | Commit message (Expand) | Author | Lines |
|---|
| 2025-05-22 | Rollup merge of #140218 - fmease:hirtylo-clean-up-path-low, r=compiler-errors | Matthias Krüger | -2/+14 |
| 2025-05-21 | Rollup merge of #141347 - lcnr:lets-make-it-unsound-3, r=compiler-errors | Matthias Krüger | -0/+33 |
| 2025-05-21 | fix better_any breakage by making the solver more unsound | lcnr | -0/+33 |
| 2025-05-21 | Rollup merge of #141334 - lcnr:coerce-nested-obligations, r=compiler-errors | Matthias Krüger | -0/+16 |
| 2025-05-21 | Rollup merge of #141333 - compiler-errors:param-env-candidate-unnorm, r=lcnr | Matthias Krüger | -0/+46 |
| 2025-05-21 | eagerly check nested obligations when coercing fndefs | lcnr | -0/+16 |
| 2025-05-21 | Use DeepRejectCtxt in assemble_inherent_candidates_from_param | Michael Goulet | -0/+46 |
| 2025-05-21 | Do not eagerly fold consts in normalize_param_env_or_error if new solver | Michael Goulet | -0/+10 |
| 2025-05-17 | Only select true errors in impossible_predicates | Michael Goulet | -0/+37 |
| 2025-05-15 | Auto merge of #136988 - compiler-errors:impossible_predicates, r=lcnr | bors | -0/+38 |
| 2025-05-10 | Auto merge of #140854 - oli-obk:merge-queries, r=nnethercote | bors | -18/+18 |
| 2025-05-09 | Rollup merge of #140819 - reddevilmidzy:add-test, r=petrochenkov | Matthias Krüger | -0/+53 |
| 2025-05-09 | Merge typeck loop with static/const item eval loop | Oli Scherer | -18/+18 |
| 2025-05-08 | Rollup merge of #140684 - compiler-errors:unnecessary-assoc, r=lcnr | Matthias Krüger | -3/+46 |
| 2025-05-09 | Add regression test for 125877 | reddevilmidzy | -0/+53 |
| 2025-05-08 | Rollup merge of #140736 - xizheyin:issue-140166, r=petrochenkov | Matthias Krüger | -0/+40 |
| 2025-05-08 | Rollup merge of #140711 - compiler-errors:combine-maybes, r=lcnr | Matthias Krüger | -0/+56 |
| 2025-05-07 | Review | Michael Goulet | -1/+1 |
| 2025-05-07 | Use MaybeCause::or to allow constraints from overflows if they are combined w... | Michael Goulet | -0/+56 |
| 2025-05-07 | Only include associated type bounds for Self:Sized associated types if they a... | Michael Goulet | -3/+46 |
| 2025-05-07 | Only prefer param-env candidates if they remain non-global after norm | Michael Goulet | -19/+16 |
| 2025-05-07 | Check `&` before suggest remove deref when trait_selection | xizheyin | -5/+1 |
| 2025-05-07 | Add ui test suggest-remove-deref-issue-140166 | xizheyin | -0/+44 |
| 2025-05-06 | Preserve generic args in suggestions for ambiguous associated items | León Orell Valerian Liehr | -2/+14 |
| 2025-05-06 | support duplicates in the opaque_types_storage | lcnr | -0/+25 |
| 2025-05-06 | Auto merge of #140561 - compiler-errors:gather-fewer-locals, r=lcnr | bors | -20/+20 |
| 2025-05-05 | Deeply normalize in the new solver in WF | Michael Goulet | -5/+18 |
| 2025-05-05 | Do not gather local all together at the beginning of typeck | Michael Goulet | -20/+20 |
| 2025-05-02 | Add regression test for 133065 | reddevilmidzy | -0/+31 |
| 2025-04-30 | Auto merge of #140503 - matthiaskrgr:rollup-n7zigts, r=matthiaskrgr | bors | -0/+41 |
| 2025-04-30 | compiletest: Make diagnostic kind mandatory on line annotations | Vadim Petrochenkov | -11/+15 |
| 2025-04-29 | Treat `ManuallyDrop` as `~const Destruct` | Oli Scherer | -23/+1 |
| 2025-04-29 | Add test | Oli Scherer | -0/+63 |
| 2025-04-26 | Rollup merge of #140306 - lcnr:specialization-new, r=compiler-errors | Matthias Krüger | -31/+24 |
| 2025-04-25 | Track per-obligation recursion depth only if there is inference | Michael Goulet | -0/+31 |
| 2025-04-25 | handle specialization in the new trait solver | lcnr | -31/+24 |
| 2025-04-24 | norm nested aliases before evaluating the parent goal | lcnr | -0/+45 |
| 2025-04-23 | Use the new solver in the impossible_predicates | Michael Goulet | -0/+38 |
| 2025-04-21 | Rollup merge of #140021 - compiler-errors:no-deep-norm-ice, r=lcnr | Chris Denton | -0/+154 |
| 2025-04-19 | Don't ICE on pending obligations from deep normalization in a loop | Michael Goulet | -0/+154 |
| 2025-04-18 | Don't assemble non-env/bound candidates if projection is rigid | Michael Goulet | -0/+32 |
| 2025-04-17 | Rollup merge of #139774 - compiler-errors:supertrait-alias, r=lcnr | Matthias Krüger | -0/+103 |
| 2025-04-16 | Fix replacing supertrait aliases in ReplaceProjectionWith | Michael Goulet | -0/+103 |
| 2025-04-16 | stepping into impls for norm is unproductive | lcnr | -0/+188 |
| 2025-04-15 | Auto merge of #139845 - Zalathar:rollup-u5u5y1v, r=Zalathar | bors | -6/+118 |
| 2025-04-15 | Rollup merge of #139798 - lcnr:where-bounds-gt-alias-bound, r=compiler-errors | Stuart Cook | -0/+29 |
| 2025-04-15 | Rollup merge of #139791 - lcnr:ignore-global-where-bounds, r=compiler-errors | Stuart Cook | -4/+87 |
| 2025-04-14 | normalize: prefer ParamEnv over AliasBound | lcnr | -0/+29 |
| 2025-04-14 | drop global where-bounds before merging candidates | lcnr | -4/+87 |
| 2025-04-14 | Add test for issue 34834 | reddevilmidzy | -0/+30 |
