| Age | Commit message (Expand) | Author | Lines |
|---|
| 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 |
| 2024-03-28 | Require foldability part of interner item bounds, remove redundant where clauses | Michael Goulet | -8/+2 |
| 2024-03-28 | Restrict const ty's regions to static when putting them in canonical var list | Michael Goulet | -23/+56 |
| 2024-03-24 | Rollup merge of #122907 - compiler-errors:uniquify-reerror, r=lcnr | Matthias Krüger | -2/+1 |
| 2024-03-22 | Uniquify ReError on input mode in canonicalizer | Michael Goulet | -2/+1 |
| 2024-03-22 | Programmatically convert some of the pat ctors | Michael Goulet | -1/+1 |
| 2024-03-04 | Allow a way to add constructors for rustc_type_ir types | Michael Goulet | -3/+4 |
| 2024-02-26 | always emit `AliasRelate` goals when relating aliases | lcnr | -8/+30 |
| 2024-02-13 | Move visitable bounds up into interner | Michael Goulet | -8/+2 |
| 2024-02-13 | Add assertions back to canonicalizer | Michael Goulet | -3/+10 |
| 2024-02-06 | Add CoroutineClosure to TyKind, AggregateKind, UpvarArgs | Michael Goulet | -1/+2 |
| 2023-12-28 | Remove movability from TyKind::Coroutine | Michael Goulet | -1/+1 |
| 2023-12-15 | Opportunistically resolve region var in canonicalizer | Michael Goulet | -7/+1 |
