| Age | Commit message (Expand) | Author | Lines |
| 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 | -1/+1 |
| 2023-07-03 | use `deeply_normalize` for `assumed_wf_types` | lcnr | -1/+6 |
| 2023-06-26 | Migrate predicates_of and caller_bounds to Clause | Michael Goulet | -34/+30 |
| 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 | Auto merge of #112891 - oli-obk:impl_trait_in_assoc_tys_cleanup, r=compiler-e... | bors | -2/+2 |
| 2023-06-22 | Migrate item_bounds to ty::Clause | Michael Goulet | -2/+2 |
| 2023-06-22 | Move `opaque_type_origin_unchecked` onto `TyCtxt` and re-use it where it was ... | Oli Scherer | -2/+2 |
| 2023-06-19 | s/Clause/ClauseKind | Michael Goulet | -10/+10 |
| 2023-06-17 | Move ConstEvaluatable to Clause | Michael Goulet | -2/+2 |
| 2023-06-17 | Move WF goal to clause | Michael Goulet | -2/+3 |
| 2023-06-16 | Add `AliasKind::Weak` for type aliases. | Oli Scherer | -10/+30 |
| 2023-06-13 | Rollup merge of #111885 - compiler-errors:rust-call-abi-sized, r=eholk | Matthias Krüger | -1/+7 |
| 2023-06-06 | Don't ICE on unsized rust-call abi call | Michael Goulet | -1/+7 |
| 2023-06-06 | remove `has_error_field` helper method | lcnr | -3/+5 |
| 2023-06-01 | Implement custom diagnostic for ConstParamTy | Michael Goulet | -1/+1 |
| 2023-06-01 | Require that const param tys implement ConstParamTy | Boxy | -77/+14 |
| 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 | -15/+24 |
| 2023-05-29 | EarlyBinder::new -> EarlyBinder::bind | lcnr | -1/+1 |
| 2023-05-28 | Replace EarlyBinder(x) with EarlyBinder::new(x) | Kyle Matsuda | -1/+1 |
| 2023-05-24 | Use `Option::is_some_and` and `Result::is_ok_and` in the compiler | Maybe Waffle | -1/+1 |
| 2023-05-15 | Move expansion of query macros in rustc_middle to rustc_middle::query | John Kåre Alsaker | -1/+1 |
| 2023-05-04 | Auto merge of #110806 - WaffleLapkin:unmkI, r=lcnr | bors | -1/+1 |
| 2023-05-03 | Restrict `From<S>` for `{D,Subd}iagnosticMessage`. | Nicholas Nethercote | -9/+9 |
| 2023-04-27 | rename `needs_subst` to `has_param` | Boxy | -4/+4 |
| 2023-04-27 | rename `needs_infer` to `has_infer` | Boxy | -1/+1 |
| 2023-04-26 | Make some region folders a little stricter. | Nicholas Nethercote | -11/+4 |
| 2023-04-25 | Rollup merge of #110556 - kylematsuda:earlybinder-explicit-item-bounds, r=com... | Matthias Krüger | -3/+5 |
| 2023-04-25 | Remove some useless `ty::Binder::dummy` calls | Maybe Waffle | -1/+1 |
| 2023-04-25 | Replace `tcx.mk_trait_ref` with `ty::TraitRef::new` | Maybe Waffle | -1/+1 |
| 2023-04-21 | Allow `LocalDefId` as the argument to `def_path_str` | Oli Scherer | -2/+2 |
| 2023-04-20 | add subst_identity_iter and subst_identity_iter_copied methods on EarlyBinder... | Kyle Matsuda | -4/+2 |
| 2023-04-20 | add EarlyBinder to output of explicit_item_bounds; replace bound_explicit_ite... | Kyle Matsuda | -3/+3 |
| 2023-04-20 | change usages of explicit_item_bounds to bound_explicit_item_bounds | Kyle Matsuda | -3/+7 |
| 2023-04-12 | region error cleanup | lcnr | -9/+2 |
| 2023-04-06 | Make elaborator generic | Michael Goulet | -1/+1 |
| 2023-03-30 | Update `ty::VariantDef` to use `IndexVec<FieldIdx, FieldDef>` | Scott McMurray | -2/+2 |
| 2023-03-28 | Rollup merge of #109629 - aliemjay:remove-givens, r=lcnr | nils | -3/+1 |
| 2023-03-26 | Don't elaborate non-obligations into obligations | Michael Goulet | -5/+2 |
| 2023-03-26 | remove obsolete `givens` from regionck | Ali MJ Al-Nasrawy | -3/+1 |
| 2023-03-23 | Deeply check WF for RPITITs | Michael Goulet | -33/+72 |
| 2023-03-21 | Use LocalDefId in ItemCtxt | Michael Goulet | -1/+1 |
| 2023-03-17 | Rollup merge of #109198 - compiler-errors:new-rpitit-default-body, r=spastorino | Matthias Krüger | -7/+17 |
| 2023-03-16 | Don't install default opaque projection predicates in RPITIT associated type'... | Michael Goulet | -11/+17 |
| 2023-03-15 | ImplTraitPlaceholder -> is_impl_trait_in_trait | Santiago Pastorino | -2/+6 |
| 2023-03-15 | Rename impl_trait_in_trait_parent to impl_trait_in_trait_parent_fn | Santiago Pastorino | -1/+1 |
| 2023-03-15 | Revert "Auto merge of #107376 - aliemjay:remove-givens, r=lcnr" | Rémy Rakic | -1/+3 |
| 2023-03-15 | Auto merge of #107376 - aliemjay:remove-givens, r=lcnr | bors | -3/+1 |