| Age | Commit message (Expand) | Author | Lines |
| 2025-05-21 | Make captures state error more precise | Michael Goulet | -7/+5 |
| 2025-05-21 | Don't evaluate constants depending on infers or params | Boxy | -42/+64 |
| 2025-05-21 | Introduce `tcx.anon_const_kind` query | Boxy | -2/+7 |
| 2025-05-21 | Document why we allow escaping bound vars in LTA norm | Boxy | -4/+13 |
| 2025-05-21 | Auto merge of #141345 - matthiaskrgr:rollup-vux7gok, r=matthiaskrgr | bors | -3/+15 |
| 2025-05-21 | Rollup merge of #141334 - lcnr:coerce-nested-obligations, r=compiler-errors | Matthias Krüger | -0/+14 |
| 2025-05-21 | Rollup merge of #141332 - compiler-errors:no-fold-const, r=lcnr | Matthias Krüger | -3/+1 |
| 2025-05-21 | Auto merge of #140386 - oli-obk:match-on-lang-item-kind, r=compiler-errors | bors | -85/+91 |
| 2025-05-21 | eagerly check nested obligations when coercing fndefs | lcnr | -0/+14 |
| 2025-05-21 | Do not eagerly fold consts in normalize_param_env_or_error if new solver | Michael Goulet | -3/+1 |
| 2025-05-20 | Do not call name() on rpitit assoc_item | Santiago Pastorino | -10/+13 |
| 2025-05-20 | Querify coroutine_hidden_types | Michael Goulet | -1/+1 |
| 2025-05-18 | Fast path for sized pred | Michael Goulet | -0/+16 |
| 2025-05-18 | Fast path for processing some obligations in the new solver | Michael Goulet | -3/+44 |
| 2025-05-17 | Rollup merge of #141121 - compiler-errors:ambig-is-not-err, r=lcnr | Matthias Krüger | -2/+8 |
| 2025-05-17 | do away with `_Self` and `TraitName` and check generic params for rustc_on_un... | mejrs | -87/+47 |
| 2025-05-17 | Only select true errors in impossible_predicates | Michael Goulet | -2/+8 |
| 2025-05-17 | Rollup merge of #140208 - compiler-errors:wf-coinductive, r=lcnr | Matthias Krüger | -1/+6 |
| 2025-05-16 | Auto merge of #140978 - davidtwco:deep-reject-in-match-norm-trait-ref, r=lcnr | bors | -2/+8 |
| 2025-05-15 | Rollup merge of #140947 - compiler-errors:pending-norm, r=lcnr | Matthias Krüger | -4/+24 |
| 2025-05-15 | Rollup merge of #140712 - lcnr:normalization-gat-args, r=compiler-errors | Matthias Krüger | -3/+4 |
| 2025-05-15 | Auto merge of #136988 - compiler-errors:impossible_predicates, r=lcnr | bors | -9/+5 |
| 2025-05-13 | Auto merge of #140887 - pietroalbini:pa-bootstrap-update, r=compiler-errors | bors | -1/+0 |
| 2025-05-13 | Expect deep norm to fail if query norm failed | Michael Goulet | -5/+17 |
| 2025-05-13 | trait_sel: deep reject `match_normalize_trait_ref` | David Wood | -2/+8 |
| 2025-05-12 | Flush errors before deep normalize in dropck_outlives | Michael Goulet | -0/+8 |
| 2025-05-12 | Fix typos | omahs | -1/+1 |
| 2025-05-12 | update cfg(bootstrap) | Pietro Albini | -1/+0 |
| 2025-05-09 | Disarm `time` bomb (diagnostics) | Jieyou Xu | -46/+2 |
| 2025-05-08 | normalization: avoid incompletely constraining GAT args | lcnr | -3/+4 |
| 2025-05-08 | Rollup merge of #140736 - xizheyin:issue-140166, r=petrochenkov | Matthias Krüger | -0/+6 |
| 2025-05-08 | Rollup merge of #140711 - compiler-errors:combine-maybes, r=lcnr | Matthias Krüger | -2/+8 |
| 2025-05-08 | Rollup merge of #140641 - lcnr:opaque-type-storage-entries, r=compiler-errors | Matthias Krüger | -47/+0 |
| 2025-05-07 | opaque_type_storage to InferCtxtLike | lcnr | -47/+0 |
| 2025-05-07 | Use MaybeCause::or to allow constraints from overflows if they are combined w... | Michael Goulet | -2/+8 |
| 2025-05-07 | Require T: TypeFoldable in Binder<T> visit | Michael Goulet | -2/+2 |
| 2025-05-07 | Check `&` before suggest remove deref when trait_selection | xizheyin | -0/+6 |
| 2025-05-07 | Auto merge of #137995 - hkBst:parse_format_reuse_unescape, r=nnethercote | bors | -9/+8 |
| 2025-05-06 | support duplicates in the opaque_types_storage | lcnr | -5/+32 |
| 2025-05-06 | Remove duplicate impl of string unescape | Marijn Schouten | -9/+8 |
| 2025-05-05 | Rollup merge of #140605 - lcnr:defer-opaque-type-error, r=compiler-errors | Guillaume Gomez | -29/+54 |
| 2025-05-05 | Rollup merge of #140559 - rperier:type-ir-to-type-middle, r=compiler-errors | Guillaume Gomez | -3/+3 |
| 2025-05-05 | Rollup merge of #140307 - mejrs:condition_parser, r=nnethercote | Trevor Gross | -104/+323 |
| 2025-05-04 | Auto merge of #140549 - BoxyUwU:proper_const_norm, r=lcnr | bors | -255/+324 |
| 2025-05-03 | `fn check_opaque_type_parameter_valid` defer error | lcnr | -29/+54 |
| 2025-05-02 | Refactor rustc_on_unimplemented's filter parser | mejrs | -104/+323 |
| 2025-05-02 | Rollup merge of #140519 - compiler-errors:name-based-comparison, r=oli-obk | Matthias Krüger | -20/+22 |
| 2025-05-02 | Use less rustc_type_ir in the compiler codebase | Romain Perier | -3/+3 |
| 2025-05-01 | Set groundwork for proper const normalization | Boxy | -159/+230 |
| 2025-05-01 | No-op split into sub functions | Boxy | -164/+162 |