| Age | Commit message (Expand) | Author | Lines |
| 2023-08-03 | avoid more `ty::Binder:dummy` | lcnr | -0/+13 |
| 2023-08-02 | Remove constness from `TraitPredicate` | Deadbeef | -64/+1 |
| 2023-07-31 | Rollup merge of #114267 - compiler-errors:rpitit-opaque-bounds, r=spastorino | Matthias Krüger | -13/+0 |
| 2023-07-31 | Rollup merge of #114169 - lcnr:unsize, r=compiler-errors | Matthias Krüger | -0/+12 |
| 2023-07-31 | We don't need impl_trait_in_trait_parent_fn anymore | Michael Goulet | -13/+0 |
| 2023-07-30 | inline format!() args up to and including rustc_middle | Matthias Krüger | -2/+2 |
| 2023-07-28 | refactor builtin unsize handling, extend comments | lcnr | -0/+12 |
| 2023-07-27 | Remove `constness` from `ParamEnv` | Deadbeef | -77/+8 |
| 2023-07-14 | refactor(rustc_middle): Substs -> GenericArg | Mahdi Dibaiee | -27/+27 |
| 2023-07-14 | Enable potential_query_instability lint in rustc_hir_typeck. | Michael Woerister | -2/+1 |
| 2023-07-12 | Re-format let-else per rustfmt update | Mark Rousskov | -2/+6 |
| 2023-07-12 | Flip cfg's for bootstrap bump | Mark Rousskov | -1/+1 |
| 2023-07-11 | Auto merge of #112984 - BoxyUwU:debug_with_infcx, r=compiler-errors | bors | -0/+1 |
| 2023-07-08 | Replace RPITIT current impl with new strategy that lowers as a GAT | Santiago Pastorino | -21/+3 |
| 2023-07-07 | Auto merge of #113245 - lukas-code:unsizing-sanity-check, r=the8472 | bors | -0/+16 |
| 2023-07-06 | Separate select calls that don't need a binder | Michael Goulet | -0/+7 |
| 2023-07-06 | add helper methods for accessing struct tail | Lukas Markeffsky | -0/+16 |
| 2023-07-06 | Add a new trait to `Debug` things with an infcx available | Boxy | -0/+1 |
| 2023-07-05 | Deal with fallout | Boxy | -0/+4 |
| 2023-07-05 | move `ConstKind` to typeir and move inherent impls to `Const` | Boxy | -2/+2 |
| 2023-07-03 | remove TypeWellFormedFromEnv | Michael Goulet | -13/+4 |
| 2023-06-26 | TypeWellFormedInEnv | Michael Goulet | -10/+10 |
| 2023-06-26 | Migrate predicates_of and caller_bounds to Clause | Michael Goulet | -14/+36 |
| 2023-06-22 | migrate inferred_outlives_of to Clause | Michael Goulet | -1/+8 |
| 2023-06-22 | Migrate item_bounds to ty::Clause | Michael Goulet | -1/+26 |
| 2023-06-19 | doc | Michael Goulet | -1/+11 |
| 2023-06-19 | Fully fledged Clause type | Michael Goulet | -45/+68 |
| 2023-06-19 | s/Clause/ClauseKind | Michael Goulet | -60/+61 |
| 2023-06-18 | Rollup merge of #112734 - dswij:bounds-predicates-clause, r=compiler-errors | Matthias Krüger | -0/+7 |
| 2023-06-17 | Move ConstEvaluatable to Clause | Michael Goulet | -9/+7 |
| 2023-06-17 | Move WF goal to clause | Michael Goulet | -8/+8 |
| 2023-06-17 | `Bound::predicates` to return `Clause` | dswij | -0/+7 |
| 2023-06-15 | Make assumption functions in new solver take clause | Michael Goulet | -0/+66 |
| 2023-05-30 | Rollup merge of #112060 - lcnr:early-binder, r=jackh726 | Nilstrieb | -1/+1 |
| 2023-05-29 | Rollup merge of #111988 - BoxyUwU:make_tykind_debug_good, r=compiler-errors | Matthias Krüger | -1/+1 |
| 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-27 | Add warn-by-default lint for local binding shadowing exported glob re-export ... | 许杰友 Jieyou Xu (Joe) | -1/+1 |
| 2023-05-26 | better `TyKind::Debug` | Boxy | -1/+1 |
| 2023-05-25 | Remove ExpnKind::Inlined. | Camille GILLOT | -3/+1 |
| 2023-05-25 | Pull out logic from #111131, plus some new logic in EvalCtxt::normalize_opaqu... | Michael Goulet | -10/+4 |
| 2023-05-24 | Use `Option::is_some_and` and `Result::is_ok_and` in the compiler | Maybe Waffle | -3/+3 |
| 2023-05-22 | Check opaques for mismatch during writeback | Michael Goulet | -3/+15 |
| 2023-05-19 | Add extra debug assertions for equality for Adt/Variant/FieldDef | Michael Goulet | -2/+23 |
| 2023-05-17 | Finish move of query.rs | John Kåre Alsaker | -2/+0 |
| 2023-05-15 | Auto merge of #111221 - compiler-errors:yeet-generalizer, r=lcnr | bors | -0/+18 |
| 2023-05-15 | yeet ConstInferUnifier | Michael Goulet | -0/+18 |
| 2023-05-15 | Move expansion of query macros in rustc_middle to rustc_middle::query | John Kåre Alsaker | -2/+4 |
| 2023-05-12 | Add a convenience function | Oli Scherer | -0/+12 |
| 2023-05-12 | Require `impl Trait` in associated types to appear in method signatures | Oli Scherer | -1/+1 |