| Age | Commit message (Expand) | Author | Lines |
|---|
| 2024-05-06 | Use super_fold in RegionsToStatic visitor | Michael Goulet | -0/+27 |
| 2024-05-06 | borrowck: more eagerly prepopulate opaques | lcnr | -46/+27 |
| 2024-05-06 | Don't consider candidates with no failing where clauses | Michael Goulet | -0/+44 |
| 2024-05-06 | Prefer lower vtable candidates in select in new solver | Michael Goulet | -0/+3 |
| 2024-05-04 | Rollup merge of #124718 - compiler-errors:record-impl-args, r=lcnr | Matthias Krüger | -0/+47 |
| 2024-05-04 | Record impl args in the proof tree | Michael Goulet | -0/+47 |
| 2024-05-04 | Only consider ambiguous goals when finding best obligation for ambiguities | Michael Goulet | -11/+13 |
| 2024-05-02 | Higher ranked goal source, do overflow handling less badly | Michael Goulet | -64/+73 |
| 2024-05-02 | Use a proof tree visitor to refine the Obligation for error reporting | Michael Goulet | -55/+237 |
| 2024-05-01 | Rewrite select to use a ProofTreeVisitor | Michael Goulet | -0/+9 |
| 2024-04-30 | Replace item names containing an error code with something more meaningful | León Orell Valerian Liehr | -2/+2 |
| 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 |
