| Age | Commit message (Expand) | Author | Lines |
| 2023-09-29 | a small wf and clause cleanup | lcnr | -5/+4 |
| 2023-09-23 | Remove GeneratorWitness and rename GeneratorWitnessMIR. | Camille GILLOT | -7/+1 |
| 2023-09-21 | Record asyncness span in HIR | Michael Goulet | -2/+5 |
| 2023-09-20 | remove `impl<'tcx> ToPredicate<'tcx, Clause<'tcx>> for PolyProjectionPredicat... | Ziru Niu | -8/+5 |
| 2023-08-01 | Fix a comment | Michael Goulet | -1/+2 |
| 2023-08-01 | don't create a predicate for just a comparison | Michael Goulet | -4/+10 |
| 2023-08-01 | Convert adt_sized_constraint to early-binder, use list | Michael Goulet | -4/+7 |
| 2023-07-31 | Rollup merge of #114267 - compiler-errors:rpitit-opaque-bounds, r=spastorino | Matthias Krüger | -2/+4 |
| 2023-07-31 | We don't need impl_trait_in_trait_parent_fn anymore | Michael Goulet | -2/+4 |
| 2023-07-30 | Don't install default projection bound for RPITITs | Michael Goulet | -1/+3 |
| 2023-07-27 | Remove `constness` from `ParamEnv` | Deadbeef | -77/+1 |
| 2023-07-17 | Rename arg_iter to iter_instantiated | Michael Goulet | -2/+2 |
| 2023-07-17 | Remove `instance_def_size_estimate` query. | Nicholas Nethercote | -17/+0 |
| 2023-07-14 | refactor(rustc_middle): Substs -> GenericArg | Mahdi Dibaiee | -15/+13 |
| 2023-07-08 | Replace RPITIT current impl with new strategy that lowers as a GAT | Santiago Pastorino | -8/+2 |
| 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 | -2/+2 |
| 2023-07-04 | Auto merge of #113303 - compiler-errors:yeet-chalk, r=lcnr | bors | -117/+1 |
| 2023-07-03 | Remove chalk from the compiler | Michael Goulet | -117/+1 |
| 2023-06-30 | RPITITs inherit method predicates | Michael Goulet | -18/+1 |
| 2023-06-29 | Do not remove previously added predicates in param_env, extend them instead | Santiago Pastorino | -1/+3 |
| 2023-06-26 | TypeWellFormedInEnv | Michael Goulet | -10/+7 |
| 2023-06-26 | Migrate predicates_of and caller_bounds to Clause | Michael Goulet | -10/+11 |
| 2023-06-02 | Separate AnonConst from ConstBlock in HIR. | Camille GILLOT | -0/+1 |
| 2023-06-01 | Rename `impl_defaultness` to `defaultness` | Deadbeef | -3/+3 |
| 2023-05-30 | Rollup merge of #112060 - lcnr:early-binder, r=jackh726 | Nilstrieb | -1/+1 |
| 2023-05-29 | Rename `tcx.mk_re_*` => `Region::new_*` | Maybe Waffle | -2/+3 |
| 2023-05-29 | EarlyBinder::new -> EarlyBinder::bind | lcnr | -1/+1 |
| 2023-05-28 | Make EarlyBinder's inner value private; and fix all of the resulting errors | Kyle Matsuda | -3/+1 |
| 2023-05-28 | Replace EarlyBinder(x) with EarlyBinder::new(x) | Kyle Matsuda | -1/+1 |
| 2023-05-15 | Move expansion of query macros in rustc_middle to rustc_middle::query | John Kåre Alsaker | -2/+3 |
| 2023-04-26 | Add new `ToPredicate` impls and `TraitRef` methods to remove some `ty::Binber... | Maybe Waffle | -3/+2 |
| 2023-04-25 | Replace `tcx.mk_trait_ref` with `ty::TraitRef::new` | Maybe Waffle | -1/+1 |
| 2023-03-30 | Update `ty::VariantDef` to use `IndexVec<FieldIdx, FieldDef>` | Scott McMurray | -2/+2 |
| 2023-03-22 | Do not feed param_env for RPITITs impl side | Santiago Pastorino | -1/+3 |
| 2023-03-21 | Use local key in providers | Michael Goulet | -8/+6 |
| 2023-03-20 | Walk un-shifted nested `impl Trait` in trait when setting up default trait me... | Michael Goulet | -16/+26 |
| 2023-03-16 | Don't install default opaque projection predicates in RPITIT associated type'... | Michael Goulet | -7/+15 |
| 2023-03-16 | Install projection from RPITIT to default trait method opaque correctly | Michael Goulet | -3/+14 |
| 2023-03-15 | ImplTraitPlaceholder -> is_impl_trait_in_trait | Santiago Pastorino | -1/+3 |
| 2023-03-15 | Rename impl_trait_in_trait_parent to impl_trait_in_trait_parent_fn | Santiago Pastorino | -1/+1 |
| 2023-03-14 | Encode opt_rpitit_info for associated types | Michael Goulet | -6/+3 |
| 2023-03-12 | Auto merge of #108700 - spastorino:new-rpitit-impl-side-2, r=compiler-errors | bors | -2/+11 |
| 2023-03-06 | Implement param_env for RPITITs assoc type | Santiago Pastorino | -2/+11 |
| 2023-02-28 | Shift vars for default RPITIT methods correctly | Michael Goulet | -1/+24 |
| 2023-02-24 | Rename many interner functions. | Nicholas Nethercote | -8/+5 |
| 2023-02-22 | Rename ty_error_with_guaranteed to ty_error, ty_error to ty_error_misc | Michael Goulet | -1/+1 |
| 2023-02-22 | Remove type-traversal trait aliases | Alan Egerton | -4/+2 |
| 2023-02-18 | Assume we can normalize trait default method RPITITs in param-env instead | Michael Goulet | -2/+59 |
| 2023-02-17 | Auto merge of #107753 - kylematsuda:type-of, r=BoxyUwU | bors | -4/+4 |