| Age | Commit message (Expand) | Author | Lines |
|---|
| 2023-06-30 | Rollup merge of #113071 - compiler-errors:no-parent-non-lifetime-args-in-apit... | Matthias Krüger | -6/+83 |
| 2023-06-30 | Flip the order of binder instantiation for better diagnostics | Michael Goulet | -10/+7 |
| 2023-06-30 | Error for RPITIT hidden tys that capture more than their trait defn | Michael Goulet | -22/+109 |
| 2023-06-29 | Properly implement variances_of for RPITIT GAT | Santiago Pastorino | -9/+15 |
| 2023-06-29 | Add bidirectional where clauses on RPITIT synthesized GATs | Santiago Pastorino | -2/+56 |
| 2023-06-29 | Intern OpaqueTy on ItemKind::OpaqueTy | Santiago Pastorino | -6/+6 |
| 2023-06-29 | Extract compute_bidirectional_outlives_predicates fn | Santiago Pastorino | -33/+51 |
| 2023-06-29 | change snapshot tracking in fulfillment contexts | lcnr | -3/+3 |
| 2023-06-28 | Auto merge of #112629 - compiler-errors:atb-imply, r=jackh726 | bors | -101/+84 |
| 2023-06-28 | Auto merge of #111269 - clubby789:validate-fluent-variables, r=davidtwco | bors | -1/+1 |
| 2023-06-27 | Rollup merge of #113084 - WaffleLapkin:less_map_or, r=Nilstrieb | Matthias Krüger | -5/+5 |
| 2023-06-27 | pass PredicateFilter to compute_bounds | Michael Goulet | -72/+51 |
| 2023-06-27 | Make associated type bounds in supertrait position implied | Michael Goulet | -50/+54 |
| 2023-06-27 | Simplify some conditions | Maybe Waffle | -5/+5 |
| 2023-06-26 | TypeWellFormedInEnv | Michael Goulet | -3/+5 |
| 2023-06-26 | Migrate predicates_of and caller_bounds to Clause | Michael Goulet | -196/+139 |
| 2023-06-26 | migrate lifetime too | Michael Goulet | -6/+14 |
| 2023-06-26 | Account for late-bound vars from parent arg-position impl trait | Michael Goulet | -0/+69 |
| 2023-06-25 | Rollup merge of #113036 - TaKO8Ki:fix-112094, r=compiler-errors | Matthias Krüger | -1/+1 |
| 2023-06-26 | accept `ReStatic` for RPITIT | Takayuki Maeda | -1/+1 |
| 2023-06-23 | Rollup merge of #112983 - spastorino:new-rpitit-23, r=compiler-errors | Michael Goulet | -6/+14 |
| 2023-06-23 | Rollup merge of #112981 - spastorino:new-rpitit-22, r=compiler-errors | Michael Goulet | -1/+1 |
| 2023-06-23 | Auto merge of #112891 - oli-obk:impl_trait_in_assoc_tys_cleanup, r=compiler-e... | bors | -4/+4 |
| 2023-06-23 | Fix associated type suggestion when -Zlower-impl-trait-in-trait-to-assoc-ty | Santiago Pastorino | -6/+14 |
| 2023-06-23 | Fix return type notation errors with -Zlower-impl-trait-in-trait-to-assoc-ty | Santiago Pastorino | -1/+1 |
| 2023-06-22 | migrate inferred_outlives_of to Clause | Michael Goulet | -5/+7 |
| 2023-06-22 | Expect clause more | Michael Goulet | -1/+1 |
| 2023-06-22 | Migrate item_bounds to ty::Clause | Michael Goulet | -33/+22 |
| 2023-06-22 | Move `opaque_type_origin_unchecked` onto `TyCtxt` and re-use it where it was ... | Oli Scherer | -4/+4 |
| 2023-06-21 | Rollup merge of #112868 - compiler-errors:liberate-afit-sugg, r=WaffleLapkin | Guillaume Gomez | -13/+10 |
| 2023-06-21 | Liberate bound vars properly when suggesting missing AFIT | Michael Goulet | -13/+10 |
| 2023-06-21 | Rollup merge of #112853 - GuillaumeGomez:type_alias_type, r=oli-obk | Guillaume Gomez | -1/+1 |
| 2023-06-21 | Add `lazy_type_alias` feature gate | Guillaume Gomez | -1/+1 |
| 2023-06-21 | Rollup merge of #112772 - compiler-errors:clauses-1, r=lcnr | Nilstrieb | -115/+119 |
| 2023-06-20 | Auto merge of #112320 - compiler-errors:do-not-impl-via-obj, r=lcnr | bors | -2/+47 |
| 2023-06-20 | Merge attrs, better validation | Michael Goulet | -2/+44 |
| 2023-06-20 | Make rustc_deny_explicit_impl only local as well | Michael Goulet | -3/+4 |
| 2023-06-20 | Add rustc_do_not_implement_via_object | Michael Goulet | -0/+2 |
| 2023-06-19 | Rollup merge of #112596 - compiler-errors:missing-sig-with-rpitit, r=b-naber | Michael Goulet | -2/+29 |
| 2023-06-19 | Fully fledged Clause type | Michael Goulet | -43/+34 |
| 2023-06-19 | s/Clause/ClauseKind | Michael Goulet | -82/+95 |
| 2023-06-18 | Rollup merge of #112734 - dswij:bounds-predicates-clause, r=compiler-errors | Matthias Krüger | -21/+47 |
| 2023-06-17 | Move some bounds computation out of astconv into its own file | Michael Goulet | -567/+585 |
| 2023-06-17 | Move ConstEvaluatable to Clause | Michael Goulet | -7/+7 |
| 2023-06-17 | Move WF goal to clause | Michael Goulet | -11/+16 |
| 2023-06-17 | `Bound::predicates` to return `Clause` | dswij | -21/+47 |
| 2023-06-16 | Pacify tidy | Oli Scherer | -116/+128 |
| 2023-06-16 | Add `AliasKind::Weak` for type aliases. | Oli Scherer | -12/+50 |
| 2023-06-16 | Merge the orphan logic for all alias kinds | Oli Scherer | -29/+23 |
| 2023-06-15 | Auto merge of #104455 - the8472:dont-drain-on-drop, r=Amanieu | bors | -2/+0 |
