| Age | Commit message (Expand) | Author | Lines |
|---|
| 2024-07-15 | Use dep: for crate dependencies | Michael Goulet | -3/+3 |
| 2024-07-12 | enable fuzzing of `SearchGraph` | lcnr | -592/+114 |
| 2024-07-10 | Rollup merge of #127508 - lcnr:search-graph-prep, r=compiler-errors | Jacob Pratt | -34/+32 |
| 2024-07-09 | cycle_participants to nested_goals | lcnr | -11/+11 |
| 2024-07-09 | use `update_parent_goal` for lazy updates | lcnr | -20/+10 |
| 2024-07-09 | exhaustively destructure external constraints | lcnr | -3/+11 |
| 2024-07-08 | Rollup merge of #127439 - compiler-errors:uplift-elaborate, r=lcnr | 许杰友 Jieyou Xu (Joe) | -12/+8 |
| 2024-07-07 | Finish uplifting supertraits | Michael Goulet | -8/+3 |
| 2024-07-07 | Get rid of the redundant elaboration in middle | Michael Goulet | -3/+2 |
| 2024-07-07 | Uplift elaboration | Michael Goulet | -1/+3 |
| 2024-07-07 | Get rid of trait_ref_is_knowable from delegate | Michael Goulet | -10/+3 |
| 2024-07-07 | Uplift trait_ref_is_knowable and friends | Michael Goulet | -0/+470 |
| 2024-07-06 | Uplift PredicateEmittingRelation first | Michael Goulet | -0/+50 |
| 2024-07-05 | Split SolverDelegate back out from InferCtxtLike | Michael Goulet | -93/+14 |
| 2024-07-03 | Rollup merge of #127145 - compiler-errors:as_lang_item, r=lcnr | Matthias Krüger | -41/+76 |
| 2024-07-02 | Make fn traits into first-class TraitSolverLangItems to avoid needing fn_trai... | Michael Goulet | -4/+26 |
| 2024-07-02 | add TyCtxt::as_lang_item, use in new solver | Michael Goulet | -37/+50 |
| 2024-07-02 | Rollup merge of #127146 - compiler-errors:fast-reject, r=lcnr | Matthias Krüger | -2/+5 |
| 2024-06-30 | Uplift fast rejection to new solver | Michael Goulet | -2/+5 |
| 2024-06-29 | Auto merge of #120639 - fee1-dead-contrib:new-effects-desugaring, r=oli-obk | bors | -0/+110 |
| 2024-06-28 | address review comments | Deadbeef | -7/+11 |
| 2024-06-28 | finishing touches, move fixed ICEs to ui tests | Deadbeef | -4/+4 |
| 2024-06-28 | general fixups and turn `TODO`s into `FIXME`s | Deadbeef | -5/+4 |
| 2024-06-28 | Implement `Min` trait in new solver | Deadbeef | -0/+107 |
| 2024-06-27 | Make queries more explicit | Michael Goulet | -2/+3 |
| 2024-06-25 | Rename tcx to cx | Michael Goulet | -347/+333 |
| 2024-06-24 | Also migrate FnInputTys | Michael Goulet | -5/+9 |
| 2024-06-24 | Replace Deref bounds on Interner in favor of a SliceLike trait | Michael Goulet | -59/+57 |
| 2024-06-24 | Split out IntoIterator and non-Iterator constructors for AliasTy/AliasTerm/Tr... | Michael Goulet | -1/+1 |
| 2024-06-21 | Rename a bunch of things | Michael Goulet | -473/+447 |
| 2024-06-18 | Make rustc_next_trait_solver nightly again | Michael Goulet | -56/+72 |
| 2024-06-18 | Fix transmute goal | Michael Goulet | -38/+26 |
| 2024-06-18 | Explicitly import tracing macros | Michael Goulet | -7/+14 |
| 2024-06-18 | Fix impl for SolverDelegate | Michael Goulet | -8/+75 |
| 2024-06-18 | Uplift the new trait solver | Michael Goulet | -4/+7175 |
| 2024-06-18 | SolverDelegate | Michael Goulet | -10/+90 |
| 2024-06-16 | Add a note | Michael Goulet | -0/+6 |
| 2024-06-10 | Remove some unused crate dependencies. | Nicholas Nethercote | -14/+1 |
| 2024-06-06 | Uplift TypeRelation and Relate | Michael Goulet | -8/+11 |
| 2024-06-05 | Add `Ty` to `ConstKind::Value` | Boxy | -1/+1 |
| 2024-06-05 | Basic removal of `Ty` from places (boring) | Boxy | -49/+8 |
| 2024-05-21 | Uplift binder | Michael Goulet | -4/+2 |
| 2024-05-20 | Rework var resolution in InferCtxtLike, uplift EagerResolver | Michael Goulet | -18/+108 |
| 2024-05-18 | Uplift GenericArgKind, CanonicalVarValues, QueryInput | Michael Goulet | -1/+13 |
| 2024-05-10 | Lift `TraitRef` into `rustc_type_ir` | Michael Goulet | -3/+3 |
| 2024-05-06 | Use super_fold in RegionsToStatic visitor | Michael Goulet | -1/+1 |
| 2024-04-08 | Auto merge of #122077 - oli-obk:eager_opaque_checks4, r=lcnr | bors | -1/+2 |
| 2024-04-08 | Eliminate `DefiningAnchor` now that is just a single-variant enum | Oli Scherer | -2/+2 |
| 2024-04-08 | Pass list of defineable opaque types into canonical queries | Oli Scherer | -1/+2 |
| 2024-04-08 | Actually create ranged int types in the type system. | Oli Scherer | -0/+1 |
