| Age | Commit message (Expand) | Author | Lines |
|---|
| 2023-06-09 | Rollup merge of #112428 - compiler-errors:next-solver-struct-resolv-pat, r=lcnr | Matthias Krüger | -0/+11 |
| 2023-06-08 | deduplicate identical region constraints | Michael Goulet | -0/+31 |
| 2023-06-08 | Structurally resolve correctly in check_pat_lit | Michael Goulet | -0/+11 |
| 2023-06-08 | Do fix_*_builtin_expr hacks on the writeback results | Michael Goulet | -0/+11 |
| 2023-06-07 | Instantiate closure synthetic substs in root universe | Michael Goulet | -0/+7 |
| 2023-06-06 | Fall back to bidirectional normalizes-to if no subst-eq in alias-eq goal | Michael Goulet | -0/+73 |
| 2023-06-02 | Normalize anon consts in new solver | Michael Goulet | -24/+50 |
| 2023-06-01 | Rollup merge of #111980 - compiler-errors:unmapped-substs, r=lcnr | Dylan DPC | -0/+19 |
| 2023-05-31 | update test to not rely on super_relate_consts hack | Boxy | -2/+24 |
| 2023-05-30 | coinductive cycle leak check test | lcnr | -0/+33 |
| 2023-05-26 | Wait until type_of to remap HIR opaques back to their defn params | Michael Goulet | -0/+19 |
| 2023-05-25 | Strongly prefer alias and param-env bounds | Michael Goulet | -20/+6 |
| 2023-05-23 | Auto merge of #110204 - compiler-errors:new-solver-hir-typeck-hacks, r=lcnr | bors | -0/+38 |
| 2023-05-22 | Structurally normalize in the new solver | Michael Goulet | -0/+38 |
| 2023-05-22 | Auto merge of #111848 - Dylan-DPC:rollup-7jqydzg, r=Dylan-DPC | bors | -3/+3 |
| 2023-05-21 | Rename `drop_ref` lint to `dropping_references` | Urgau | -1/+1 |
| 2023-05-21 | Rename `drop_copy` lint to `dropping_copy_types` | Urgau | -2/+2 |
| 2023-05-19 | add test | lcnr | -1/+75 |
| 2023-05-19 | Auto merge of #110100 - compiler-errors:no-infer-pred-must-hold, r=jackh726 | bors | -2/+15 |
| 2023-05-17 | Rollup merge of #111588 - MU001999:diag/improve-e0782, r=fee1-dead | Dylan DPC | -11/+2 |
| 2023-05-17 | Emits E0599 when meeting MyTrait::missing_method | mu001999 | -11/+2 |
| 2023-05-15 | Tweaks and a test | Michael Goulet | -0/+45 |
| 2023-05-13 | Rollup merge of #111451 - compiler-errors:note-cast-origin, r=b-naber | Dylan DPC | -16/+11 |
| 2023-05-12 | do not allow inference in `pred_known_to_hold_modulo_regions` | Michael Goulet | -2/+15 |
| 2023-05-12 | Auto merge of #109732 - Urgau:uplift_drop_forget_ref_lints, r=davidtwco | bors | -3/+9 |
| 2023-05-12 | Note base types of coercion | Michael Goulet | -16/+11 |
| 2023-05-10 | Adjust tests for new drop and forget lints | Urgau | -3/+9 |
| 2023-05-09 | Make alias bounds sound in the new solver | Michael Goulet | -0/+71 |
| 2023-05-08 | Rollup merge of #111211 - compiler-errors:negative-bounds-super, r=TaKO8Ki | Yuki Okushi | -0/+19 |
| 2023-05-04 | Add test for #110557 | Michael Goulet | -0/+60 |
| 2023-05-04 | Don't compute trait super bounds unless they're positive | Michael Goulet | -0/+19 |
| 2023-05-03 | Rollup merge of #111146 - petrochenkov:decident, r=compiler-errors | Manish Goregaokar | -3/+6 |
| 2023-05-03 | rustc_middle: Fix `opt_item_ident` for non-local def ids | Vadim Petrochenkov | -3/+6 |
| 2023-05-02 | Make negative trait bounds work with the old trait solver | Michael Goulet | -14/+2 |
| 2023-05-02 | Disallow associated type constraints on negative bounds | Michael Goulet | -0/+54 |
| 2023-05-02 | Implement negative bounds | Michael Goulet | -0/+124 |
| 2023-05-01 | Don't use implied trait predicates in gather_explicit_predicates_of | Michael Goulet | -1/+16 |
| 2023-05-01 | Rollup merge of #110823 - compiler-errors:tweak-await-span, r=b-naber | Matthias Krüger | -2/+2 |
| 2023-04-27 | Tweak await span | Michael Goulet | -2/+2 |
| 2023-04-26 | Clear response values for overflow in new solver | Michael Goulet | -0/+43 |
| 2023-04-25 | Auto merge of #110811 - compiler-errors:vars-are-question-mark, r=WaffleLapkin | bors | -4/+4 |
| 2023-04-25 | vars are ? | Michael Goulet | -4/+4 |
| 2023-04-25 | Negative coherence test | Michael Goulet | -0/+52 |
| 2023-04-22 | Auto merge of #109753 - compiler-errors:replenish-region-constraints, r=aliemjay | bors | -0/+23 |
| 2023-04-21 | Clone region var origins instead of taking in borrowck | Michael Goulet | -0/+23 |
| 2023-04-20 | Move test files | Caio | -0/+17 |
| 2023-04-14 | Rollup merge of #110180 - lcnr:canonicalize, r=compiler-errors | Matthias Krüger | -0/+12 |
| 2023-04-14 | Add test for uniquifying regions | Michael Goulet | -0/+12 |
| 2023-04-13 | Rollup merge of #110195 - compiler-errors:issue-110052, r=aliemjay | Matthias Krüger | -1/+6 |
| 2023-04-13 | Auto merge of #109786 - estebank:tweak-add-line-sugg, r=compiler-errors | bors | -7/+9 |
