| Age | Commit message (Expand) | Author | Lines |
|---|
| 2025-08-18 | nll-relate: improve hr opaque types support | lcnr | -7/+15 |
| 2025-08-11 | remove `from_forall` | lcnr | -11/+0 |
| 2025-08-06 | Track names of existentials | Amanda Stjerna | -0/+1 |
| 2025-08-03 | Auto merge of #144677 - nnethercote:bound-const-handling, r=lcnr | bors | -11/+13 |
| 2025-08-02 | Rollup merge of #144478 - joshtriplett:doc-code-formatting-prep, r=Amanieu | Samuel Tardieu | -1/+1 |
| 2025-08-01 | Auto merge of #144446 - nnethercote:opt-region-constraints, r=lcnr | bors | -180/+166 |
| 2025-07-31 | Overhaul `Constraint`. | Nicholas Nethercote | -180/+162 |
| 2025-07-31 | Avoid vacuous `Constraint::{VarSubVar,RegSubReg}` constraints. | Nicholas Nethercote | -2/+6 |
| 2025-07-31 | Make const bound handling more like types/regions. | Nicholas Nethercote | -11/+13 |
| 2025-07-31 | Rollup merge of #144713 - nnethercote:rustc_middle-ty-cleanups, r=lcnr | Stuart Cook | -11/+27 |
| 2025-07-31 | Remove `ParamEnvAnd::into_parts`. | Nicholas Nethercote | -1/+1 |
| 2025-07-31 | Move `TermVid` out of `rustc_middle`. | Nicholas Nethercote | -10/+26 |
| 2025-07-30 | handle region dependent goals due to infer vars | lcnr | -17/+49 |
| 2025-07-25 | Improve and regularize comment placement in doc code | Josh Triplett | -1/+1 |
| 2025-07-25 | uniquify root goals during HIR typeck | lcnr | -3/+41 |
| 2025-07-15 | Add alias for ArgOutlivesPredicate | Michael Goulet | -16/+9 |
| 2025-07-15 | Gate things properly | Michael Goulet | -9/+12 |
| 2025-07-15 | Consider outlives assumptions when proving auto traits for coroutine interiors | Michael Goulet | -6/+95 |
| 2025-07-13 | Simplify make_query_region_constraints | Michael Goulet | -12/+10 |
| 2025-07-13 | Make sure that users don't take region obligations in a snapshot | Michael Goulet | -1/+4 |
| 2025-07-07 | Remove unused allow attrs | Yotam Ofek | -2/+0 |
| 2025-07-04 | Fix pretty printing of placeholder types | Michael Goulet | -1/+1 |
| 2025-07-01 | Update `cfg(bootstrap)` | Josh Stone | -1/+1 |
| 2025-06-28 | Do not freshen ReError | Michael Goulet | -5/+4 |
| 2025-06-27 | Auto merge of #142223 - compiler-errors:perf-wf, r=lcnr | bors | -0/+7 |
| 2025-06-27 | Auto merge of #143074 - compiler-errors:rollup-cv64hdh, r=compiler-errors | bors | -53/+49 |
| 2025-06-26 | Rollup merge of #142647 - compiler-errors:less-work-in-coherence, r=lcnr | Michael Goulet | -1/+2 |
| 2025-06-26 | Simplify IfCause | Michael Goulet | -7/+8 |
| 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 |
