| Age | Commit message (Expand) | Author | Lines |
| 2024-08-31 | Rollup merge of #129659 - RalfJung:const-fn-lang-feat, r=fee1-dead | Matthias Krüger | -4/+1 |
| 2024-08-31 | const fn stability checking: also check declared language features | Ralf Jung | -4/+1 |
| 2024-08-31 | Rollup merge of #129725 - compiler-errors:predicates-of, r=fmease | Matthias Krüger | -4/+2 |
| 2024-08-29 | Add `warn(unreachable_pub)` to `rustc_middle`. | Nicholas Nethercote | -1/+1 |
| 2024-08-29 | Stop using ty::GenericPredicates for non-predicates_of queries | Michael Goulet | -4/+2 |
| 2024-08-26 | Stop using a special inner body for the coroutine by-move body for async clos... | Michael Goulet | -0/+18 |
| 2024-08-22 | Use a LocalDefId in ResolvedArg. | Camille GILLOT | -9/+9 |
| 2024-08-14 | Rollup merge of #128828 - lcnr:search-graph-11, r=compiler-errors | 许杰友 Jieyou Xu (Joe) | -9/+0 |
| 2024-08-14 | Auto merge of #128812 - nnethercote:shrink-TyKind-FnPtr, r=compiler-errors | bors | -1/+1 |
| 2024-08-13 | Auto merge of #128742 - RalfJung:miri-vtable-uniqueness, r=saethlin | bors | -2/+2 |
| 2024-08-12 | do not use the global solver cache for proof trees | lcnr | -9/+0 |
| 2024-08-09 | Store do_not_recommend-ness in impl header | Michael Goulet | -0/+6 |
| 2024-08-09 | Shrink `TyKind::FnPtr`. | Nicholas Nethercote | -1/+1 |
| 2024-08-06 | miri: make vtable addresses not globally unique | Ralf Jung | -2/+2 |
| 2024-07-29 | Reformat `use` declarations. | Nicholas Nethercote | -38/+33 |
| 2024-07-17 | lift_to_tcx -> lift_to_interner | Michael Goulet | -4/+4 |
| 2024-07-14 | Add cache for `allocate_str` | Adwin White | -2/+3 |
| 2024-07-12 | enable fuzzing of `SearchGraph` | lcnr | -7/+22 |
| 2024-07-08 | Rollup merge of #127439 - compiler-errors:uplift-elaborate, r=lcnr | 许杰友 Jieyou Xu (Joe) | -29/+18 |
| 2024-07-07 | Get rid of the redundant elaboration in middle | Michael Goulet | -24/+2 |
| 2024-07-07 | Uplift elaboration | Michael Goulet | -5/+16 |
| 2024-07-07 | Uplift trait_ref_is_knowable and friends | Michael Goulet | -0/+8 |
| 2024-07-06 | Uplift PredicateEmittingRelation first | Michael Goulet | -0/+2 |
| 2024-07-03 | Rollup merge of #127145 - compiler-errors:as_lang_item, r=lcnr | Matthias Krüger | -45/+64 |
| 2024-07-02 | Make fn traits into first-class TraitSolverLangItems to avoid needing fn_trai... | Michael Goulet | -9/+7 |
| 2024-07-02 | add TyCtxt::as_lang_item, use in new solver | Michael Goulet | -37/+58 |
| 2024-07-02 | Rollup merge of #127146 - compiler-errors:fast-reject, r=lcnr | Matthias Krüger | -11/+0 |
| 2024-06-30 | Uplift fast rejection to new solver | Michael Goulet | -11/+0 |
| 2024-06-29 | Auto merge of #120639 - fee1-dead-contrib:new-effects-desugaring, r=oli-obk | bors | -2/+7 |
| 2024-06-28 | address review comments | Deadbeef | -2/+2 |
| 2024-06-28 | Implement `Min` trait in new solver | Deadbeef | -0/+5 |
| 2024-06-28 | implement new effects desugaring | Deadbeef | -2/+2 |
| 2024-06-27 | supertrait_def_ids was already implemented in middle | Michael Goulet | -2/+3 |
| 2024-06-27 | supertrait_def_ids | Michael Goulet | -3/+2 |
| 2024-06-27 | Make queries more explicit | Michael Goulet | -3/+6 |
| 2024-06-24 | Split out IntoIterator and non-Iterator constructors for AliasTy/AliasTerm/Tr... | Michael Goulet | -7/+3 |
| 2024-06-19 | local_def_path_hash_to_def_id can fail | Michael Baikov | -11/+3 |
| 2024-06-18 | Auto merge of #126614 - compiler-errors:uplift-next-trait-solver, r=lcnr | bors | -30/+334 |
| 2024-06-18 | Use a dedicated type instead of a reference for the diagnostic context | Oli Scherer | -2/+4 |
| 2024-06-18 | Uplift the new trait solver | Michael Goulet | -40/+323 |
| 2024-06-18 | Uplift PredefinedOpaquesData | Michael Goulet | -2/+2 |
| 2024-06-18 | Make SearchGraph fully generic | Michael Goulet | -0/+21 |
| 2024-06-16 | Uplift ExternalConstraintData | Michael Goulet | -2/+3 |
| 2024-06-13 | Address nits | Michael Goulet | -4/+4 |
| 2024-06-13 | Fix some TODOs | Michael Goulet | -0/+8 |
| 2024-06-13 | Finish uplifting all of structural_traits | Michael Goulet | -2/+21 |
| 2024-06-13 | Rework most of structural_traits to be Interner-agnostic | Michael Goulet | -3/+50 |
| 2024-06-07 | Auto merge of #125918 - oli-obk:const_block_ice, r=compiler-errors | bors | -1/+0 |
| 2024-06-07 | Revert "Cache whether a body has inline consts" | Oli Scherer | -1/+0 |
| 2024-06-06 | Rollup merge of #125724 - compiler-errors:uplift-relate, r=lcnr | Jubilee | -2/+36 |