| Age | Commit message (Expand) | Author | Lines |
|---|
| 2023-07-08 | Rollup merge of #113399 - compiler-errors:next-solver-byte-pat-again, r=oli-obk | Matthias Krüger | -12/+1 |
| 2023-07-07 | Require TAITs to be mentioned in the signatures of functions that register hi... | Oli Scherer | -10/+15 |
| 2023-07-06 | Rollup merge of #113397 - compiler-errors:new-select-prefer-obj, r=lcnr | Michael Goulet | -0/+13 |
| 2023-07-06 | Don't call type_of on TAIT in defining scope in new solver | Michael Goulet | -100/+39 |
| 2023-07-06 | Structurally normalize again for byte string lit pat checking | Michael Goulet | -12/+1 |
| 2023-07-06 | Prefer object candidates over impl candidates in new selection | Michael Goulet | -0/+13 |
| 2023-07-05 | Winnow specializing impls | Michael Goulet | -0/+22 |
| 2023-07-03 | update tests | lcnr | -95/+285 |
| 2023-06-28 | Rollup merge of #112867 - compiler-errors:more-impl-source-nits, r=lcnr | Dylan DPC | -0/+1 |
| 2023-06-25 | Rollup merge of #113007 - compiler-errors:dont-structural-resolve-byte-str-pa... | Matthias Krüger | -1/+12 |
| 2023-06-24 | Revert "Structurally resolve correctly in check_pat_lit" | Michael Goulet | -1/+12 |
| 2023-06-24 | Rollup merge of #112703 - aliemjay:next-solver-root-var, r=compiler-errors | Guillaume Gomez | -0/+17 |
| 2023-06-24 | instantiate hidden types in root universe | Ali MJ Al-Nasrawy | -0/+17 |
| 2023-06-23 | Resolve vars when reporting WF error | Michael Goulet | -4/+4 |
| 2023-06-23 | Don't emit same goal as input during wf obligations | Michael Goulet | -1/+15 |
| 2023-06-20 | Remove unnecessary call to select_from_obligation | Michael Goulet | -0/+1 |
| 2023-06-16 | Rollup merge of #112443 - compiler-errors:next-solver-opportunistically-resol... | Dylan DPC | -0/+19 |
| 2023-06-16 | Rollup merge of #112399 - compiler-errors:closure-substs-root-universe, r=lcnr | Dylan DPC | -0/+7 |
| 2023-06-13 | opportunistically resolve regions | Michael Goulet | -0/+19 |
| 2023-06-09 | Rollup merge of #112442 - compiler-errors:next-solver-deduplicate-region-cons... | Guillaume Gomez | -0/+31 |
| 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-21 | Rename `drop_ref` lint to `dropping_references` | Urgau | -1/+1 |
| 2023-05-12 | Auto merge of #109732 - Urgau:uplift_drop_forget_ref_lints, r=davidtwco | bors | -3/+4 |
| 2023-05-10 | Adjust tests for new drop and forget lints | Urgau | -3/+4 |
| 2023-05-09 | Make alias bounds sound in the new solver | Michael Goulet | -0/+71 |
| 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 | -2/+2 |
| 2023-04-25 | vars are ? | Michael Goulet | -2/+2 |
| 2023-04-25 | Negative coherence test | Michael Goulet | -0/+52 |
| 2023-04-21 | Clone region var origins instead of taking in borrowck | Michael Goulet | -0/+23 |
| 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-12 | Rollup merge of #110103 - compiler-errors:new-solver-overflows, r=lcnr | Matthias Krüger | -8/+8 |
| 2023-04-10 | Report overflows gracefully with new solver | Michael Goulet | -8/+8 |
| 2023-04-10 | Stall auto-trait assembly for int/float vars in new solver | Michael Goulet | -0/+50 |
| 2023-04-10 | prioritize param-env candidates | lcnr | -7/+53 |
| 2023-04-08 | Enforce that PointerLike requires a pointer-like ABI | Michael Goulet | -2/+2 |
