| Age | Commit message (Expand) | Author | Lines |
| 2025-04-22 | Consider Copy/Clone too | Michael Goulet | -0/+17 |
| 2025-04-22 | Properly drain pending obligations for coroutines | Michael Goulet | -2/+20 |
| 2025-04-18 | Don't assemble non-env/bound candidates if projection is rigid | Michael Goulet | -39/+58 |
| 2025-04-17 | Rollup merge of #139774 - compiler-errors:supertrait-alias, r=lcnr | Matthias Krüger | -66/+123 |
| 2025-04-17 | Rollup merge of #139900 - lcnr:normalizes-to-where-bounds-unproductive, r=com... | Matthias Krüger | -8/+13 |
| 2025-04-16 | Don't require rigid alias's trait to hold | Michael Goulet | -1/+0 |
| 2025-04-16 | Remove FIXME that is no longer relevant | Michael Goulet | -6/+0 |
| 2025-04-16 | Fix replacing supertrait aliases in ReplaceProjectionWith | Michael Goulet | -60/+123 |
| 2025-04-16 | stepping into impls for norm is unproductive | lcnr | -8/+13 |
| 2025-04-15 | Auto merge of #139845 - Zalathar:rollup-u5u5y1v, r=Zalathar | bors | -30/+61 |
| 2025-04-15 | Rollup merge of #139798 - lcnr:where-bounds-gt-alias-bound, r=compiler-errors | Stuart Cook | -21/+30 |
| 2025-04-15 | Rollup merge of #139791 - lcnr:ignore-global-where-bounds, r=compiler-errors | Stuart Cook | -2/+6 |
| 2025-04-14 | Use `newtype_index!`-generated types more idiomatically | Yotam Ofek | -1/+1 |
| 2025-04-14 | normalize: prefer ParamEnv over AliasBound | lcnr | -21/+30 |
| 2025-04-14 | do not leak auto traits in item bounds | lcnr | -7/+25 |
| 2025-04-14 | drop global where-bounds before merging candidates | lcnr | -2/+6 |
| 2025-04-10 | Auto merge of #139000 - compiler-errors:rigid-missing-item, r=lcnr | bors | -3/+29 |
| 2025-04-09 | Make unnormalizable item ambiguous in coherence | Michael Goulet | -2/+18 |
| 2025-04-09 | Use a query rather than recomputing the tail repeatedly | Michael Goulet | -1/+1 |
| 2025-04-09 | Mark GAT WC as GoalSource::AliasWellFormed so that we recurse into them in er... | Michael Goulet | -2/+2 |
| 2025-04-09 | Rigidly project missing item due to guaranteed impossible sized predicate | Michael Goulet | -1/+11 |
| 2025-04-09 | update cfgs | Boxy | -1/+1 |
| 2025-04-05 | Fix ProvenVia for global where clauses | Michael Goulet | -2/+10 |
| 2025-04-04 | Auto merge of #138785 - lcnr:typing-mode-borrowck, r=compiler-errors,oli-obk | bors | -0/+39 |
| 2025-04-03 | Initial support for auto traits with default bounds | Bryanskiy | -19/+29 |
| 2025-04-03 | add `TypingMode::Borrowck` | lcnr | -0/+39 |
| 2025-04-01 | simplify Interner opaque types API | lcnr | -24/+12 |
| 2025-03-26 | Implement lint against using Interner and InferCtxtLike in random compiler cr... | Michael Goulet | -0/+1 |
| 2025-03-24 | Allow WellFormed goals to be returned from relating in new solver | Michael Goulet | -7/+9 |
| 2025-03-20 | Do not rely on type_var_origin in OrphanCheckErr::NonLocalInputType | Michael Goulet | -1/+4 |
| 2025-03-15 | Use {Decodable,Encodable}_NoContext in type_ir | Michael Goulet | -2/+5 |
| 2025-03-15 | Fold visit into ty | Michael Goulet | -11/+12 |
| 2025-03-15 | Squash fold into ty | Michael Goulet | -16/+18 |
| 2025-03-12 | Rollup merge of #138331 - nnethercote:use-RUSTC_LINT_FLAGS-more, r=onur-ozkan... | Matthias Krüger | -1/+0 |
| 2025-03-12 | Rollup merge of #137314 - lcnr:cycles-with-unknown-kind, r=compiler-errors | Matthias Krüger | -20/+70 |
| 2025-03-11 | Remove `#![warn(unreachable_pub)]` from all `compiler/` crates. | Nicholas Nethercote | -1/+0 |
| 2025-03-10 | Revert "Use workspace lints for crates in `compiler/` #138084" | 许杰友 Jieyou Xu (Joe) | -0/+1 |
| 2025-03-08 | Remove `#![warn(unreachable_pub)]` from all `compiler/` crates. | Nicholas Nethercote | -1/+0 |
| 2025-03-05 | Rollup merge of #137728 - Darksonn:no-tuple-unsize, r=oli-obk | 许杰友 Jieyou Xu (Joe) | -49/+0 |
| 2025-03-05 | keep inductive cycles as ambig in coherence | lcnr | -2/+18 |
| 2025-03-05 | change definitely non-productive cycles to error | lcnr | -19/+53 |
| 2025-03-01 | Rollup merge of #137776 - nnethercote:rustc_transmute-cleanups, r=jswrenn | Matthias Krüger | -4/+1 |
| 2025-03-01 | Rollup merge of #137689 - compiler-errors:coroutine, r=lcnr | Matthias Krüger | -50/+40 |
| 2025-02-28 | review | lcnr | -0/+15 |
| 2025-02-28 | normalizing where-clauses is also coinductive, add tests | lcnr | -8/+25 |
| 2025-02-28 | fix typo | lcnr | -1/+1 |
| 2025-02-28 | rework cycle handling | lcnr | -47/+90 |
| 2025-02-28 | Remove `allow(unused_variables)` for `rustc_transmute`. | Nicholas Nethercote | -4/+1 |
| 2025-02-27 | Delete tuple unsizing | Alice Ryhl | -49/+0 |
| 2025-02-26 | Use bound_coroutine_witnesses in old solver | Michael Goulet | -2/+2 |