| Age | Commit message (Expand) | Author | Lines |
| 2025-06-25 | rename RegionVariableOrigin::MiscVariable to RegionVariableOrigin::Misc | Michael Goulet | -15/+9 |
| 2025-06-25 | Remove some glob imports from the type system | Michael Goulet | -39/+40 |
| 2025-06-25 | Compute hard errors without diagnostics in impl_intersection_has_impossible_o... | Michael Goulet | -1/+2 |
| 2025-06-24 | Introduce trivial WF functions, use it in fast path | Michael Goulet | -0/+7 |
| 2025-06-19 | Cache instantiation of canonical binder | Michael Goulet | -20/+169 |
| 2025-06-18 | Implement lint against direct uses of rustc_type_ir in compiler crates | Romain Perier | -0/+1 |
| 2025-06-11 | Auto merge of #141763 - lcnr:fixme-gamer, r=BoxyUwU | bors | -1/+4 |
| 2025-06-11 | Auto merge of #142090 - compiler-errors:perf-stable-root-var, r=lcnr | bors | -0/+6 |
| 2025-06-08 | Remove all unused feature gates from the compiler | bjorn3 | -1/+0 |
| 2025-06-07 | Rollup merge of #142126 - compiler-errors:normalize-uv-via-relate, r=BoxyUwU | Guillaume Gomez | -0/+7 |
| 2025-06-07 | Unify normalization of terms in deeply normalize | Michael Goulet | -0/+7 |
| 2025-06-05 | Make root vars more stable | Michael Goulet | -0/+6 |
| 2025-06-03 | `FIXME(-Znext-solver)` triage | lcnr | -1/+4 |
| 2025-06-02 | Fast path for stalled obligations on self ty | Michael Goulet | -1/+1 |
| 2025-05-29 | Auto merge of #141581 - lcnr:fold-clauses, r=compiler-errors | bors | -0/+12 |
| 2025-05-27 | Fix some var names | Michael Goulet | -2/+2 |
| 2025-05-27 | Rename unpack to kind | Michael Goulet | -13/+13 |
| 2025-05-26 | Auto merge of #141605 - jieyouxu:rollup-3gjqh5l, r=jieyouxu | bors | -80/+58 |
| 2025-05-26 | add additional `TypeFlags` fast paths | lcnr | -0/+12 |
| 2025-05-27 | Rollup merge of #141392 - compiler-errors:query-outlives, r=lcnr | 许杰友 Jieyou Xu (Joe) | -80/+58 |
| 2025-05-26 | Auto merge of #141500 - compiler-errors:rerun-cache-2, r=lcnr | bors | -0/+57 |
| 2025-05-26 | Auto merge of #141442 - compiler-errors:fast-path-pred, r=lcnr | bors | -0/+4 |
| 2025-05-26 | Don't rerun goals if none of its vars have changed | Michael Goulet | -0/+57 |
| 2025-05-26 | Rename | Michael Goulet | -19/+28 |
| 2025-05-26 | Avoid obligation construction dance with query region constraints | Michael Goulet | -71/+40 |
| 2025-05-25 | Fast path fold_predicate in old canonicalizer | Michael Goulet | -0/+4 |
| 2025-05-25 | Don't use relation just to equate regions in response | Michael Goulet | -5/+5 |
| 2025-05-23 | yeet `CanonicalVarInfo` | lcnr | -99/+78 |
| 2025-05-17 | Fast path for register_region_obligation | Michael Goulet | -0/+8 |
| 2025-05-12 | update cfg(bootstrap) | Pietro Albini | -1/+0 |
| 2025-05-08 | Rollup merge of #140641 - lcnr:opaque-type-storage-entries, r=compiler-errors | Matthias Krüger | -3/+88 |
| 2025-05-07 | detect additional uses of opaques after writeback | lcnr | -3/+49 |
| 2025-05-07 | opaque_type_storage to InferCtxtLike | lcnr | -0/+39 |
| 2025-05-07 | Require T: TypeFoldable in Binder<T> visit | Michael Goulet | -4/+0 |
| 2025-05-07 | Rollup merge of #140607 - lcnr:opaque-type-storage, r=compiler-errors | Jacob Pratt | -48/+83 |
| 2025-05-06 | support duplicates in the opaque_types_storage | lcnr | -48/+83 |
| 2025-05-06 | Rename `graph::implementation::Graph` to `LinkedGraph` | Zalathar | -4/+4 |
| 2025-05-05 | Rollup merge of #140559 - rperier:type-ir-to-type-middle, r=compiler-errors | Guillaume Gomez | -29/+17 |
| 2025-05-02 | Use less rustc_type_ir in the compiler codebase | Romain Perier | -29/+17 |
| 2025-05-01 | Set groundwork for proper const normalization | Boxy | -8/+17 |
| 2025-04-28 | Rollup merge of #140249 - BoxyUwU:remove_weak_alias_terminology, r=oli-obk | Guillaume Gomez | -1/+1 |
| 2025-04-26 | convert some `GenericArg` to `Term` | lcnr | -3/+13 |
| 2025-04-25 | Rollup merge of #140202 - est31:let_chains_feature_compiler, r=lcnr | Matthias Krüger | -1/+1 |
| 2025-04-24 | Remove `weak` alias terminology | Boxy | -1/+1 |
| 2025-04-23 | More | Michael Goulet | -2/+4 |
| 2025-04-23 | Make #![feature(let_chains)] bootstrap conditional in compiler/ | est31 | -1/+1 |
| 2025-04-22 | Properly drain pending obligations for coroutines | Michael Goulet | -3/+3 |
| 2025-04-16 | Auto merge of #139768 - compiler-errors:split-fold, r=lcnr | bors | -32/+7 |
| 2025-04-14 | Use `newtype_index!`-generated types more idiomatically | Yotam Ofek | -6/+5 |
| 2025-04-14 | Derive Obligation's fold impls | Michael Goulet | -32/+7 |