| Age | Commit message (Expand) | Author | Lines |
|---|
| 2025-07-18 | update comment | lcnr | -4/+2 |
| 2025-07-15 | Add the core logic in old and new solvers | tiif | -0/+26 |
| 2025-07-05 | Don't compress input universes | Michael Goulet | -111/+10 |
| 2025-07-05 | Canonicalize input ty/ct infer/placeholder in the root universe | Michael Goulet | -8/+23 |
| 2025-07-03 | setup CI and tidy to use typos for spellchecking and fix few typos | klensy | -4/+4 |
| 2025-07-02 | Auto merge of #142974 - cuviper:stage0-bump, r=Mark-Simulacrum | bors | -1/+1 |
| 2025-07-01 | Remove support for dyn* | Michael Goulet | -3/+1 |
| 2025-07-01 | Update `cfg(bootstrap)` | Josh Stone | -1/+1 |
| 2025-06-30 | Rollup merge of #143066 - compiler-errors:let-chain-solver, r=lcnr | dianqk | -91/+80 |
| 2025-06-27 | Rollup merge of #142806 - compiler-errors:norm-ct-has-ty, r=lcnr,BoxyUwU | Matthias Krüger | -0/+1 |
| 2025-06-27 | Rollup merge of #139858 - oli-obk:new-const-traits-syntax, r=fee1-dead | Matthias Krüger | -11/+11 |
| 2025-06-27 | Use one more let chain | Michael Goulet | -24/+23 |
| 2025-06-27 | Use let chains in the new solver | Michael Goulet | -67/+57 |
| 2025-06-26 | Rollup merge of #143073 - yotamofek:pr/fix-let-chains-fixmes, r=compiler-errors | Michael Goulet | -9/+8 |
| 2025-06-26 | Rollup merge of #142927 - compiler-errors:note-find-const, r=BoxyUwU | Michael Goulet | -1/+1 |
| 2025-06-26 | Fix some fixmes that were waiting for let chains | Yotam Ofek | -9/+8 |
| 2025-06-26 | Auto merge of #142774 - lcnr:search_graph-2, r=oli-obk | bors | -137/+47 |
| 2025-06-26 | Change const trait bound syntax from ~const to [const] | Oli Scherer | -11/+11 |
| 2025-06-25 | Normalize before computing ConstArgHasType goal | Michael Goulet | -0/+1 |
| 2025-06-25 | Auto merge of #142746 - compiler-errors:super-implied-outlives, r=lcnr | bors | -9/+6 |
| 2025-06-23 | Simplify API of solver a bit | Michael Goulet | -25/+22 |
| 2025-06-23 | Uplift find_const_ty_from_env | Michael Goulet | -1/+1 |
| 2025-06-23 | inspect: merge `[Canonical]GoalEvaluation` | lcnr | -82/+24 |
| 2025-06-23 | `evaluate_goal`: avoid unnecessary step | lcnr | -62/+30 |
| 2025-06-22 | Rollup merge of #142617 - lcnr:search_graph-3, r=compiler-errors | Jacob Pratt | -1/+1 |
| 2025-06-19 | Apply impl_super_outlives optimization to new trait solver | Michael Goulet | -9/+6 |
| 2025-06-18 | `evaluate_goal`: accept different inputs | lcnr | -1/+1 |
| 2025-06-18 | Implement lint against direct uses of rustc_type_ir in compiler crates | Romain Perier | -0/+1 |
| 2025-06-16 | trait_sel: skip elaboration of sizedness supertrait | David Wood | -4/+47 |
| 2025-06-16 | trait_sel: `{Meta,Pointee}Sized` on `?Sized` types | David Wood | -111/+60 |
| 2025-06-16 | trait_sel: `{Meta,Pointee}Sized` on `Sized` types | David Wood | -0/+82 |
| 2025-06-13 | TypeVisiting binders no longer requires TypeFolding its interior | Michael Goulet | -1/+1 |
| 2025-06-13 | Replace escaping bound vars in ty/ct visiting, not binder visiting | Michael Goulet | -12/+44 |
| 2025-06-13 | Uplift BoundVarReplacer | Michael Goulet | -0/+159 |
| 2025-06-13 | Make connection between Placeholder and Bound a bit more clear in the type ab... | Michael Goulet | -4/+4 |
| 2025-06-11 | Auto merge of #141763 - lcnr:fixme-gamer, r=BoxyUwU | bors | -3/+10 |
| 2025-06-08 | add `param_env` cache to canonicalization | lcnr | -14/+60 |
| 2025-06-08 | move `canonicalize_param_env` into sub-fn | lcnr | -25/+30 |
| 2025-06-06 | Filter out universals and lifetimes from stalled_vars | Michael Goulet | -1/+12 |
| 2025-06-03 | `FIXME(-Znext-solver)` triage | lcnr | -3/+10 |
| 2025-06-01 | Auto merge of #141731 - compiler-errors:tweak-fast-path-trait, r=lcnr | bors | -7/+8 |
| 2025-05-30 | Auto merge of #141651 - compiler-errors:less-assert, r=lcnr | bors | -11/+12 |
| 2025-05-29 | Tweak fast path trait handling | Michael Goulet | -7/+8 |
| 2025-05-29 | Auto merge of #141581 - lcnr:fold-clauses, r=compiler-errors | bors | -8/+50 |
| 2025-05-27 | Make some assertions in solver into debug assertions | Michael Goulet | -11/+12 |
| 2025-05-27 | Fix some var names | Michael Goulet | -2/+2 |
| 2025-05-26 | Auto merge of #141605 - jieyouxu:rollup-3gjqh5l, r=jieyouxu | bors | -1/+1 |
| 2025-05-26 | assert we never incorrectly canonicalize envs | lcnr | -0/+7 |
| 2025-05-26 | add additional `TypeFlags` fast paths | lcnr | -8/+43 |
| 2025-05-27 | Rollup merge of #141392 - compiler-errors:query-outlives, r=lcnr | 许杰友 Jieyou Xu (Joe) | -1/+1 |
