| Age | Commit message (Expand) | Author | Lines |
|---|
| 2024-06-04 | Rollup merge of #125608 - oli-obk:subsequent_lifetime_errors, r=BoxyUwU | 许杰友 Jieyou Xu (Joe) | -30/+62 |
| 2024-06-03 | Make WHERE_CLAUSES_OBJECT_SAFETY a regular object safety violation | Michael Goulet | -2/+1 |
| 2024-06-03 | Mark all extraneous generic args as errors | Oli Scherer | -24/+56 |
| 2024-06-03 | Hide some follow-up errors | Oli Scherer | -6/+6 |
| 2024-06-03 | Auto merge of #125778 - estebank:issue-67100, r=compiler-errors | bors | -10/+10 |
| 2024-05-31 | Rollup merge of #125786 - compiler-errors:fold-item-bounds, r=lcnr | Matthias Krüger | -22/+8 |
| 2024-05-31 | Rollup merge of #125635 - fmease:mv-type-binding-assoc-item-constraint, r=com... | Matthias Krüger | -3/+3 |
| 2024-05-30 | Rename HIR `TypeBinding` to `AssocItemConstraint` and related cleanup | León Orell Valerian Liehr | -3/+3 |
| 2024-05-30 | Fold item bound before checking that they hold | Michael Goulet | -22/+8 |
| 2024-05-30 | update UI tests | lcnr | -4/+4 |
| 2024-05-29 | Use parenthetical notation for `Fn` traits | Esteban Küber | -10/+10 |
| 2024-05-28 | eagerly normalize when adding goals | lcnr | -2/+106 |
| 2024-05-28 | change selection test to run-pass | lcnr | -1/+1 |
| 2024-05-27 | Auto merge of #125413 - lcnr:ambig-drop-region-constraints, r=compiler-errors | bors | -0/+29 |
| 2024-05-25 | Rollup merge of #124080 - oli-obk:define_opaque_types10, r=compiler-errors | Matthias Krüger | -25/+62 |
| 2024-05-24 | drop region constraints for ambiguous goals | lcnr | -0/+29 |
| 2024-05-24 | Structurally resolve before builtin_index in EUV | Michael Goulet | -0/+13 |
| 2024-05-23 | Support constraining opaque types while trait upcasting with binders | Oli Scherer | -10/+2 |
| 2024-05-23 | Allow defining opaque types during trait object upcasting. | Oli Scherer | -19/+2 |
| 2024-05-23 | Add more tests | Oli Scherer | -6/+68 |
| 2024-05-21 | Auto merge of #124097 - compiler-errors:box-into-iter, r=WaffleLapkin | bors | -2/+2 |
| 2024-05-20 | Implement BOXED_SLICE_INTO_ITER | Michael Goulet | -2/+2 |
| 2024-05-20 | track cycle participants per entry | lcnr | -3/+31 |
| 2024-05-18 | Auto merge of #125077 - spastorino:add-new-fnsafety-enum2, r=jackh726 | bors | -1/+1 |
| 2024-05-17 | Rename Unsafe to Safety | Santiago Pastorino | -1/+1 |
| 2024-05-16 | Report better WF obligation leaf obligations in new solver | Michael Goulet | -43/+23 |
| 2024-05-16 | Don't ICE because recomputing overflow goals during find_best_leaf_obligation... | Michael Goulet | -179/+81 |
| 2024-05-12 | Apply nits | Michael Goulet | -0/+4 |
| 2024-05-12 | Try structurally resolve | Michael Goulet | -0/+15 |
| 2024-05-09 | analyse visitor: build proof tree in probe | lcnr | -9/+79 |
| 2024-05-07 | Rollup merge of #124846 - compiler-errors:const-eval, r=lcnr | Matthias Krüger | -2/+10 |
| 2024-05-07 | Rollup merge of #124827 - lcnr:generalize-incomplete, r=compiler-errors | Matthias Krüger | -0/+120 |
| 2024-05-07 | generalize hr alias: avoid unconstrainable infer vars | lcnr | -0/+120 |
| 2024-05-07 | Don't ICE when we cannot eval a const to a valtree in the new solver | Michael Goulet | -2/+10 |
| 2024-05-06 | Rollup merge of #124809 - lcnr:prepopulate-opaques, r=compiler-errors | Matthias Krüger | -46/+27 |
| 2024-05-06 | Rollup merge of #124759 - compiler-errors:impl-args, r=lcnr | Matthias Krüger | -0/+13 |
| 2024-05-06 | Use correct ImplSource for alias bounds | Michael Goulet | -0/+13 |
| 2024-05-06 | Rollup merge of #124808 - compiler-errors:super, r=lcnr | Matthias Krüger | -0/+27 |
| 2024-05-06 | Rollup merge of #124771 - compiler-errors:cand-has-failing-wc, r=lcnr | Matthias Krüger | -0/+44 |
| 2024-05-06 | Rollup merge of #124724 - compiler-errors:prefer-lower, r=lcnr | Matthias Krüger | -0/+3 |
| 2024-05-06 | Use super_fold in RegionsToStatic visitor | Michael Goulet | -0/+27 |
| 2024-05-06 | borrowck: more eagerly prepopulate opaques | lcnr | -46/+27 |
| 2024-05-06 | Don't consider candidates with no failing where clauses | Michael Goulet | -0/+44 |
| 2024-05-06 | Prefer lower vtable candidates in select in new solver | Michael Goulet | -0/+3 |
| 2024-05-04 | Rollup merge of #124718 - compiler-errors:record-impl-args, r=lcnr | Matthias Krüger | -0/+47 |
| 2024-05-04 | Record impl args in the proof tree | Michael Goulet | -0/+47 |
| 2024-05-04 | Only consider ambiguous goals when finding best obligation for ambiguities | Michael Goulet | -11/+13 |
| 2024-05-02 | Higher ranked goal source, do overflow handling less badly | Michael Goulet | -64/+73 |
| 2024-05-02 | Use a proof tree visitor to refine the Obligation for error reporting | Michael Goulet | -55/+237 |
| 2024-05-01 | Rewrite select to use a ProofTreeVisitor | Michael Goulet | -0/+9 |
