| Age | Commit message (Expand) | Author | Lines |
|---|
| 2023-07-17 | Rename arg_iter to iter_instantiated | Michael Goulet | -5/+5 |
| 2023-07-15 | Check entry type as part of item type checking. | Camille GILLOT | -269/+284 |
| 2023-07-14 | Rollup merge of #113698 - compiler-errors:rpitit-check, r=spastorino | Matthias Krüger | -6/+6 |
| 2023-07-14 | Make it clearer that we're just checking for an RPITIT | Michael Goulet | -6/+6 |
| 2023-07-14 | refactor(rustc_middle): Substs -> GenericArg | Mahdi Dibaiee | -525/+536 |
| 2023-07-14 | Introduce ExtentUnord trait for collections that can safely consume UnordItems. | Michael Woerister | -1/+1 |
| 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/+23 |
| 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/+23 |
| 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/+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 |
