| Age | Commit message (Expand) | Author | Lines |
|---|
| 2025-02-14 | eagerly prove WF when resolving fully qualified paths | lcnr | -0/+39 |
| 2025-02-10 | Show diff suggestion format on verbose replacement | Esteban Küber | -2/+3 |
| 2025-02-06 | remove `feature(trait_upcasting)` from tests and bless them | Waffle Lapkin | -3/+0 |
| 2025-02-05 | Rollup merge of #136583 - Jarcho:fn_ctxt2, r=compiler-errors | Jubilee | -1/+1 |
| 2025-02-05 | Pass spans around new solver | Michael Goulet | -4/+12 |
| 2025-02-05 | When displaying a parameter mismatch error, only highlight the mismatched par... | Jason Newcomb | -1/+1 |
| 2025-01-31 | Manually walk into WF obligations in BestObligation proof tree visitor | Michael Goulet | -5/+6 |
| 2025-01-28 | "normalize" signature before checking mentions self | Boxy | -0/+52 |
| 2025-01-27 | Remove all dead files inside tests/ui/ | León Orell Valerian Liehr | -16/+0 |
| 2025-01-23 | Rollup merge of #135766 - lcnr:candidate-assembly-3, r=compiler-errors | Matthias Krüger | -0/+21 |
| 2025-01-23 | Rollup merge of #134746 - compiler-errors:autoderef-norm-non-wf-coerce-ice, r... | Matthias Krüger | -0/+56 |
| 2025-01-22 | Don't ICE in coerce when autoderef fails to structurally normalize non-WF typ... | Michael Goulet | -0/+56 |
| 2025-01-22 | Rollup merge of #135866 - BoxyUwU:dont_pick_fnptr_nested_goals, r=lcnr | Matthias Krüger | -0/+62 |
| 2025-01-22 | Use `structurally_normalize` instead of manual `normalizes-to` goals | Boxy | -0/+45 |
| 2025-01-22 | Don't pick `T: FnPtr` nested goals | Boxy | -0/+62 |
| 2025-01-20 | handle global trait bounds defining assoc type | lcnr | -0/+21 |
| 2025-01-18 | Auto merge of #135618 - lcnr:coherence-unknown, r=compiler-errors | bors | -0/+70 |
| 2025-01-17 | add test | lcnr | -0/+70 |
| 2025-01-14 | Make sure to scrape region constraints from deeply normalizing type outlives ... | Michael Goulet | -0/+13 |
| 2025-01-06 | Don't ice on bad transmute in typeck in new solver | Michael Goulet | -0/+92 |
| 2024-12-18 | resolve FIXME | lcnr | -5/+0 |
| 2024-12-07 | Mention type parameter in more cases and don't suggest ~const bound already t... | Esteban Küber | -1/+1 |
| 2024-12-07 | Use trait name instead of full constraint in suggestion message | Esteban Küber | -3/+3 |
| 2024-12-07 | reword trait bound suggestion message to include the bounds | Esteban Küber | -5/+5 |
| 2024-12-06 | Auto merge of #133559 - compiler-errors:structurally-resolve-adjust-for-branc... | bors | -0/+34 |
| 2024-12-05 | Resolve more | Michael Goulet | -0/+26 |
| 2024-12-03 | Rollup merge of #133558 - compiler-errors:structurally-resolve-probe-adt, r=lcnr | Matthias Krüger | -0/+15 |
| 2024-12-02 | Structurally resolve in probe_adt | Michael Goulet | -0/+15 |
| 2024-12-02 | Assert that obligations are empty before deeply normalizing | Michael Goulet | -8/+7 |
| 2024-12-02 | Deeply normalize when computing implied outlives bounds | Michael Goulet | -0/+46 |
| 2024-11-28 | Structurally resolve before adjust_for_branches | Michael Goulet | -0/+8 |
| 2024-11-28 | support revealing defined opaque post borrowck | lcnr | -0/+100 |
| 2024-11-28 | move tests into subdir | lcnr | -0/+0 |
| 2024-11-28 | Auto merge of #133561 - GuillaumeGomez:rollup-g4upmv4, r=GuillaumeGomez | bors | -0/+79 |
| 2024-11-28 | Rollup merge of #133520 - compiler-errors:structurally-resolve-mir-borrowck, ... | Guillaume Gomez | -0/+32 |
| 2024-11-28 | Rollup merge of #133519 - compiler-errors:xform-ret-wf, r=lcnr | Guillaume Gomez | -0/+47 |
| 2024-11-27 | Rollup merge of #133521 - compiler-errors:structurally-resolve-cat-proj, r=lcnr | Matthias Krüger | -0/+20 |
| 2024-11-27 | Rollup merge of #133518 - compiler-errors:structurally-resolve-never, r=lcnr | Matthias Krüger | -1/+30 |
| 2024-11-27 | Check xform_ret_ty for WF in the new solver to improve method winnowing | Michael Goulet | -0/+47 |
| 2024-11-27 | Structurally resolve before applying projection in borrowck | Michael Goulet | -0/+32 |
| 2024-11-27 | Bless tests due to extra error reporting due to normalizing types that are no... | Michael Goulet | -1/+10 |
| 2024-11-27 | Structurally resolve before matching on type of projection | Michael Goulet | -0/+20 |
| 2024-11-27 | Structurally resolve before checking never | Michael Goulet | -0/+20 |
| 2024-11-26 | add test for alias-bound shadowing, rename folder | lcnr | -0/+19 |
| 2024-11-22 | Gate const drop behind const_destruct feature, and fix const_precise_live_dro... | Michael Goulet | -1/+1 |
| 2024-11-13 | actually test next solver | lcnr | -1/+15 |
| 2024-11-03 | Yeet effects feature | Michael Goulet | -12/+0 |
| 2024-11-02 | fix tests | Esteban Küber | -1/+1 |
| 2024-10-29 | Remove detail from label/note that is already available in other note | Esteban Küber | -9/+9 |
| 2024-10-24 | Deeply normalize type trace in type error reporting | Michael Goulet | -0/+34 |
