| Age | Commit message (Expand) | Author | Lines |
|---|
| 2023-07-18 | add links to query documentation for E0391 | nxya | -2/+2 |
| 2023-07-16 | Check GAT, IAT, and weak type where clauses during projection | Michael Goulet | -7/+67 |
| 2023-07-15 | Rollup merge of #113625 - compiler-errors:structurally-norm-in-selection, r=lcnr | Matthias Krüger | -0/+18 |
| 2023-07-14 | Structurally normalize in selection | Michael Goulet | -0/+18 |
| 2023-07-14 | Allow escaping bound vars during normalize_erasing_regions in new solver | Michael Goulet | -0/+18 |
| 2023-07-13 | add test for incomplete alias bound preference | lcnr | -0/+39 |
| 2023-07-13 | Rollup merge of #113353 - compiler-errors:select-better, r=lcnr | Matthias Krüger | -0/+52 |
| 2023-07-08 | Auto merge of #113491 - matthiaskrgr:rollup-mueqz7h, r=matthiaskrgr | bors | -3/+3 |
| 2023-07-08 | Rollup merge of #113005 - compiler-errors:dont-query-normalize, r=cjgillot | Matthias Krüger | -3/+3 |
| 2023-07-08 | Rollup merge of #113399 - compiler-errors:next-solver-byte-pat-again, r=oli-obk | Matthias Krüger | -12/+1 |
| 2023-07-08 | Eagerly resolve vars in predicate during coercion loop | Michael Goulet | -0/+37 |
| 2023-07-08 | Implement selection for unsize for better coercion behavior | Michael Goulet | -0/+15 |
| 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-30 | Rollup merge of #113071 - compiler-errors:no-parent-non-lifetime-args-in-apit... | Matthias Krüger | -0/+28 |
| 2023-06-29 | Rollup merge of #112929 - oli-obk:what_if_an_impl_item_just_doesnt_wanna_be_i... | Matthias Krüger | -0/+182 |
| 2023-06-28 | Rollup merge of #112867 - compiler-errors:more-impl-source-nits, r=lcnr | Dylan DPC | -0/+1 |
| 2023-06-27 | Don't sort strings right after we just sorted by types | Michael Goulet | -3/+3 |
| 2023-06-27 | Rollup merge of #113020 - AnthonyKalaitzis:add-tests-impl-via-obj-unless-deni... | Matthias Krüger | -0/+45 |
| 2023-06-27 | Add passing & failing test for bultin dyn trait generation | Anthony Kalaitzis | -0/+45 |
| 2023-06-26 | Account for late-bound vars from parent arg-position impl trait | Michael Goulet | -0/+28 |
| 2023-06-26 | Add some tests around where bounds on associated items and their lack of effe... | Oli Scherer | -0/+182 |
| 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 |
