| Age | Commit message (Expand) | Author | Lines |
|---|
| 2023-08-03 | add tests | lcnr | -0/+179 |
| 2023-08-01 | Don't select infer -> dyn Trait | Michael Goulet | -0/+17 |
| 2023-07-29 | Detect trait upcasting through struct tail unsizing | Michael Goulet | -0/+40 |
| 2023-07-29 | Bubble up nested goals from equation in predicates_for_object_candidate | Michael Goulet | -0/+20 |
| 2023-07-27 | Consider a goal as NOT changed if its response is identity modulo regions | Michael Goulet | -0/+32 |
| 2023-07-26 | Auto merge of #113893 - mdibaiee:type-name-spill-flag, r=compiler-errors | bors | -2/+1 |
| 2023-07-25 | Make sure to detect trait upcasting coercion even after normalization | Michael Goulet | -0/+4 |
| 2023-07-25 | Normalize the RHS of an unsize goal | Michael Goulet | -0/+21 |
| 2023-07-25 | write-long-types-to-disk: update tests | Mahdi Dibaiee | -3/+2 |
| 2023-07-24 | Rollup merge of #113985 - compiler-errors:issue-113951, r=estebank | Matthias Krüger | -0/+49 |
| 2023-07-24 | new unstable option: -Zwrite-long-types-to-disk | Mahdi Dibaiee | -1/+1 |
| 2023-07-23 | Use erased self type when autoderefing for trait error suggestion | Michael Goulet | -0/+49 |
| 2023-07-20 | Auto merge of #113856 - WaffleLapkin:vtablin', r=oli-obk | bors | -3/+103 |
| 2023-07-20 | review | lcnr | -23/+33 |
| 2023-07-20 | assembly: only consider blanket impls once | lcnr | -0/+48 |
| 2023-07-20 | Auto merge of #113622 - RickleAndMortimer:issue-113184-fix, r=oli-obk | bors | -0/+1 |
| 2023-07-19 | Rollup merge of #113444 - lcnr:alias-bound-test, r=compiler-errors | Dylan DPC | -0/+39 |
| 2023-07-19 | Don't emit useless vptrs for marker traits | Maybe Waffle | -9/+4 |
| 2023-07-19 | Add a (failing test) for issue `113840` | Maybe Waffle | -0/+105 |
| 2023-07-18 | moved note as unspanned note, moved note to the bottom of the msg | nxya | -5/+1 |
| 2023-07-18 | added links as a note | nxya | -2/+2 |
| 2023-07-18 | add links to query documentation for E0391 | nxya | -2/+2 |
| 2023-07-18 | added links as a note | nxya | -2/+7 |
| 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 |
