| Age | Commit message (Expand) | Author | Lines |
|---|
| 2023-07-14 | Auto merge of #113519 - SparrowLii:parallel_typeck, r=cjgillot | bors | -0/+16 |
| 2023-07-12 | Re-format let-else per rustfmt update | Mark Rousskov | -90/+118 |
| 2023-07-11 | typeck in parallel | SparrowLii | -0/+16 |
| 2023-07-08 | Replace RPITIT current impl with new strategy that lowers as a GAT | Santiago Pastorino | -48/+7 |
| 2023-07-08 | Auto merge of #113474 - compiler-errors:rollup-07x1up7, r=compiler-errors | bors | -13/+26 |
| 2023-07-07 | Rollup merge of #113456 - spastorino:new-rpitit-31, r=compiler-errors | Michael Goulet | -2/+11 |
| 2023-07-07 | Rollup merge of #113427 - compiler-errors:no-variances-of-rpitit-gat, r=spast... | Michael Goulet | -9/+3 |
| 2023-07-08 | Auto merge of #112652 - oli-obk:tait_only_in_sig, r=compiler-errors | bors | -1/+20 |
| 2023-07-07 | Don't ICE in resolve_bound_vars when associated return-type bounds are in bad... | Michael Goulet | -2/+12 |
| 2023-07-07 | Avoid calling report_forbidden_specialization for RPITITs | Santiago Pastorino | -2/+11 |
| 2023-07-07 | Auto merge of #113245 - lukas-code:unsizing-sanity-check, r=the8472 | bors | -1/+1 |
| 2023-07-07 | Require TAITs to be mentioned in the signatures of functions that register hi... | Oli Scherer | -1/+20 |
| 2023-07-07 | Remove variances_of on RPITIT gats, remove its one use-case | Michael Goulet | -9/+3 |
| 2023-07-06 | Do not assert >1 RPITITs on collect_return_position_impl_trait_in_trait_tys | Santiago Pastorino | -5/+7 |
| 2023-07-06 | add helper methods for accessing struct tail | Lukas Markeffsky | -1/+1 |
| 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/+30 |
| 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/+74 |
| 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-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 |
