| Age | Commit message (Expand) | Author | Lines |
|---|
| 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 |
| 2024-06-06 | Uplift TypeRelation and Relate | Michael Goulet | -2/+36 |
| 2024-06-06 | Revert "Rollup merge of #124976 - petrochenkov:usedcrates, r=oli-obk" | Rémy Rakic | -1/+1 |
| 2024-06-05 | Add `Ty` to `ConstKind::Value` | Boxy | -3/+9 |
| 2024-06-05 | Basic removal of `Ty` from places (boring) | Boxy | -32/+19 |
| 2024-06-01 | Uplift TypeRelation and Relate | Michael Goulet | -2/+2 |
| 2024-06-01 | Yeet PolyFnSig from Interner | Michael Goulet | -1/+0 |
| 2024-05-28 | Rollup merge of #125598 - compiler-errors:proof-tree-builder, r=lcnr | Matthias Krüger | -0/+7 |
| 2024-05-28 | Make ProofTreeBuilder actually generic over interner | Michael Goulet | -0/+7 |
| 2024-05-28 | Cache whether a body has inline consts | Oli Scherer | -0/+1 |
| 2024-05-27 | Rollup merge of #125597 - compiler-errors:early-binder, r=jackh726 | Guillaume Gomez | -4/+4 |
| 2024-05-27 | Auto merge of #125410 - fmease:adj-lint-diag-api, r=nnethercote | bors | -12/+7 |
| 2024-05-27 | Auto merge of #125468 - BoxyUwU:remove_defid_from_regionparam, r=compiler-errors | bors | -7/+7 |
| 2024-05-26 | Use EarlyBinder in rustc_type_ir, simplify imports | Michael Goulet | -2/+2 |
| 2024-05-26 | Give EarlyBinder a tcx parameter | Michael Goulet | -2/+2 |
| 2024-05-24 | remove proof tree formatter, make em shallow | lcnr | -1/+2 |
