| Age | Commit message (Expand) | Author | Lines |
|---|
| 2024-04-26 | Auto merge of #122385 - lcnr:analyze-obligations-for-infer, r=compiler-errors | bors | -25/+0 |
| 2024-04-25 | hir typeck: look into nested goals | lcnr | -25/+0 |
| 2024-04-25 | Rollup merge of #124374 - compiler-errors:fix-ambiguity-ice, r=lcnr | Matthias Krüger | -0/+17 |
| 2024-04-25 | Don't ICE when codegen_select returns ambiguity in new solver | Michael Goulet | -0/+17 |
| 2024-04-25 | Check closure args and returns are WF | Michael Goulet | -10/+6 |
| 2024-04-24 | Error on using `yield` without also using `#[coroutine]` on the closure | Oli Scherer | -37/+43 |
| 2024-04-23 | Auto merge of #122317 - compiler-errors:fulfill-method-probe, r=lcnr | bors | -27/+10 |
| 2024-04-22 | Stabilize generic `NonZero`. | Markus Reiter | -7/+6 |
| 2024-04-21 | Restore error messaging | Michael Goulet | -1/+1 |
| 2024-04-21 | Use fulfillment, not evaluate, during method probe | Michael Goulet | -28/+11 |
| 2024-04-14 | Rollup merge of #123618 - compiler-errors:overflow-ambig, r=spastorino | Guillaume Gomez | -0/+37 |
| 2024-04-11 | Rollup merge of #123703 - estebank:diag-changes-2, r=Nadrieril | León Orell Valerian Liehr | -4/+4 |
| 2024-04-10 | Use `fn` ptr signature instead of `{closure@..}` in infer error | Esteban Küber | -4/+4 |
| 2024-04-08 | Rollup merge of #123578 - lqd:regression-123275, r=compiler-errors | Matthias Krüger | -0/+244 |
| 2024-04-07 | Discard overflow obligations in impl_may_apply | Michael Goulet | -0/+37 |
| 2024-04-07 | Move tests | Caio | -0/+19 |
| 2024-04-06 | add non-regression test for issue 123275 | Rémy Rakic | -0/+244 |
| 2024-04-06 | Auto merge of #123471 - compiler-errors:match_projection_projections, r=oli-obk | bors | -0/+38 |
| 2024-04-04 | Check def id before calling match_projection_projections | Michael Goulet | -0/+38 |
| 2024-04-04 | Switch upcast projections to allowing opaque types and add a test showing it ... | Oli Scherer | -0/+60 |
| 2024-03-31 | Add regression tests for 123303 | Michael Goulet | -0/+43 |
| 2024-03-27 | Sort a diagnostic by `DefPathStr` instead of `DefId` | Oli Scherer | -8/+8 |
| 2024-03-27 | Use `TraitRef::to_string` sorting in favor of `TraitRef::ord`, as the latter ... | Oli Scherer | -7/+7 |
| 2024-03-25 | add test for ICE Where clause `Binder(..)` was applicable to `Obligation(..)`... | Matthias Krüger | -0/+85 |
| 2024-03-24 | add tests for ICE: 'broken MIR: bad assignment: NoSolution' on trait with def... | Matthias Krüger | -0/+103 |
| 2024-03-24 | Rollup merge of #122907 - compiler-errors:uniquify-reerror, r=lcnr | Matthias Krüger | -0/+49 |
| 2024-03-23 | regression test for #103626 | Kalle Wachsmuth | -0/+48 |
| 2024-03-22 | Uniquify ReError on input mode in canonicalizer | Michael Goulet | -0/+49 |
| 2024-03-22 | Auto merge of #120926 - fmease:astconv-no-mo, r=oli-obk | bors | -1/+1 |
| 2024-03-22 | Auto merge of #122824 - oli-obk:no_ord_def_id2, r=estebank,michaelwoerister | bors | -18/+18 |
| 2024-03-22 | Update (doc) comments | León Orell Valerian Liehr | -1/+1 |
| 2024-03-21 | Stop sorting via `DefId`s in region resolution | Oli Scherer | -18/+18 |
| 2024-03-21 | Rollup merge of #122799 - estebank:issue-122569, r=fee1-dead | Matthias Krüger | -6/+4 |
| 2024-03-21 | Auto merge of #121123 - compiler-errors:item-assumptions, r=oli-obk | bors | -6/+24 |
| 2024-03-21 | Replace closures with `_` when suggesting fully qualified path for method call | Esteban Küber | -6/+4 |
| 2024-03-20 | make `type_flags(ReError) & HAS_ERROR` | Ali MJ Al-Nasrawy | -8/+16 |
| 2024-03-20 | Bless test fallout (duplicate diagnostics) | Michael Goulet | -6/+24 |
| 2024-03-19 | Auto merge of #122392 - BoxyUwU:misc_cleanup, r=lcnr | bors | -4/+4 |
| 2024-03-19 | Auto merge of #122055 - compiler-errors:stabilize-atb, r=oli-obk | bors | -1/+1 |
| 2024-03-18 | update region debug formatting | Boxy | -4/+4 |
| 2024-03-18 | move tests | lcnr | -0/+0 |
| 2024-03-18 | `NormalizesTo` return nested goals | lcnr | -20/+45 |
| 2024-03-15 | Auto merge of #122341 - compiler-errors:alias-wfness, r=lcnr | bors | -1/+22 |
| 2024-03-14 | add tests | lcnr | -0/+128 |
| 2024-03-14 | Consolidate WF for aliases | Michael Goulet | -1/+22 |
| 2024-03-13 | Rollup merge of #122360 - veera-sivarajan:bugfix-121941, r=compiler-errors | Matthias Krüger | -0/+14 |
| 2024-03-12 | Don't Create `ParamCandidate` When Obligation Contains Errors | Veera | -0/+14 |
| 2024-03-11 | Move project -> normalize, move normalize tests | Michael Goulet | -0/+0 |
| 2024-03-11 | Don't ICE when non-self part of trait goal is constrained in new solver | Michael Goulet | -0/+35 |
| 2024-03-11 | Rollup merge of #122318 - compiler-errors:next-solver-tests, r=lcnr | Jubilee | -30/+47 |
