| Age | Commit message (Expand) | Author | Lines |
|---|
| 2023-07-06 | Do not assert >1 RPITITs on collect_return_position_impl_trait_in_trait_tys | Santiago Pastorino | -5/+7 |
| 2023-07-05 | Move `TyCtxt::mk_x` to `Ty::new_x` where applicable | Boxy | -199/+239 |
| 2023-07-05 | Auto merge of #113210 - fee1-dead-contrib:effects-mvp, r=oli-obk | bors | -5/+25 |
| 2023-07-05 | Only use a single loop over the associated types | Oli Scherer | -5/+2 |
| 2023-07-05 | Prefer `retain` over hand-rolling an inefficient version of it | Oli Scherer | -7/+3 |
| 2023-07-05 | tidy: move a large function out of an even larger file | Oli Scherer | -406/+418 |
| 2023-07-05 | Lint now-unnecessary associated type bounds | Oli Scherer | -4/+35 |
| 2023-07-05 | Don't require associated types with `Self: Sized` bounds in `dyn Trait` objects | Oli Scherer | -0/+10 |
| 2023-07-04 | include `host_effect_index` in `Generics` | Deadbeef | -5/+21 |
| 2023-07-04 | Replace `const_error` methods with `Const::new_error` | Boxy | -11/+11 |
| 2023-07-04 | Replace `mk_const` with `Const::new_x` methods | Boxy | -13/+15 |
| 2023-07-04 | add test | Deadbeef | -2/+6 |
| 2023-07-04 | Auto merge of #113303 - compiler-errors:yeet-chalk, r=lcnr | bors | -6/+3 |
| 2023-07-04 | Auto merge of #113215 - compiler-errors:rpitit-predicates-tweaks, r=spastorino | bors | -3/+16 |
| 2023-07-03 | remove TypeWellFormedFromEnv | Michael Goulet | -6/+3 |
| 2023-07-03 | Rollup merge of #113286 - fmease:iat-dont-select-if-not-enabled, r=compiler-e... | Guillaume Gomez | -5/+9 |
| 2023-07-03 | Don't perform selection if IATs are not enabled | León Orell Valerian Liehr | -5/+9 |
| 2023-07-03 | use `deeply_normalize` for `assumed_wf_types` | lcnr | -21/+27 |
| 2023-07-01 | Rollup merge of #113182 - compiler-errors:rpit-stricter-captures, r=oli-obk | Matthias Krüger | -32/+116 |
| 2023-07-01 | Auto merge of #113154 - lcnr:better-probe-check, r=compiler-errors | bors | -3/+3 |
| 2023-06-30 | RPITITs inherit method predicates | Michael Goulet | -2/+14 |
| 2023-06-30 | use explicit predicates | Michael Goulet | -1/+2 |
| 2023-06-30 | Rollup merge of #113171 - spastorino:new-rpitit-25, r=compiler-errors | Matthias Krüger | -9/+15 |
| 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 |
