| Age | Commit message (Expand) | Author | Lines |
|---|
| 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-20 | Rollup merge of #112786 - lcnr:early-binder, r=Nilstrieb | Guillaume Gomez | -22/+22 |
| 2023-06-20 | Auto merge of #112320 - compiler-errors:do-not-impl-via-obj, r=lcnr | bors | -0/+50 |
| 2023-06-20 | Merge attrs, better validation | Michael Goulet | -0/+50 |
| 2023-06-19 | update tests | lcnr | -22/+22 |
| 2023-06-19 | Don't ICE on bound var in reject_fn_ptr_impls | Michael Goulet | -0/+40 |
| 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-16 | Rollup merge of #112163 - bvanjoi:fix-105231-2, r=compiler-errors | Dylan DPC | -0/+38 |
| 2023-06-16 | fix: inline `predicate_may_hold_fatal` | bohan | -0/+38 |
| 2023-06-15 | change `std::marker::Sized` to just `Sized` | Lukas Markeffsky | -2/+2 |
| 2023-06-14 | Auto merge of #112400 - WaffleLapkin:vtable_stats, r=compiler-errors | bors | -0/+72 |
| 2023-06-13 | opportunistically resolve regions | Michael Goulet | -0/+19 |
| 2023-06-13 | Add a test for `-Zprint-vtable-sizes` | Maybe Waffle | -0/+72 |
| 2023-06-12 | Adjust UI tests for `unit_bindings` | 许杰友 Jieyou Xu (Joe) | -1/+1 |
| 2023-06-09 | Ignore tests that hang in new solver | Michael Goulet | -2/+3 |
| 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-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 |
