| Age | Commit message (Expand) | Author | Lines |
|---|
| 2025-06-13 | Rollup merge of #142441 - compiler-errors:lazier-binder-value-folding, r=lcnr | Jubilee | -151/+6 |
| 2025-06-13 | Rollup merge of #141352 - lcnr:no-builtin-preference, r=compiler-errors | Jubilee | -1/+12 |
| 2025-06-13 | TypeVisiting binders no longer requires TypeFolding its interior | Michael Goulet | -2/+2 |
| 2025-06-13 | Uplift BoundVarReplacer | Michael Goulet | -146/+1 |
| 2025-06-13 | Don't use BTreeMap for mapped_consts | Michael Goulet | -6/+6 |
| 2025-06-13 | Merge unboxed trait object error suggestion into regular dyn incompat error | Oli Scherer | -1/+1 |
| 2025-06-13 | Unimplement unsized_locals | mejrs | -2/+2 |
| 2025-06-12 | Rollup merge of #142040 - jswrenn:transmute-ty-region-generic, r=compiler-errors | Matthias Krüger | -97/+46 |
| 2025-06-11 | Auto merge of #141763 - lcnr:fixme-gamer, r=BoxyUwU | bors | -1/+1 |
| 2025-06-09 | transmutability: shift abstraction boundary | Jack Wrenn | -97/+46 |
| 2025-06-07 | Rollup merge of #142126 - compiler-errors:normalize-uv-via-relate, r=BoxyUwU | Guillaume Gomez | -4/+1 |
| 2025-06-07 | Unify normalization of terms in deeply normalize | Michael Goulet | -4/+1 |
| 2025-06-05 | Replace some `Option<Span>` with `Span` and use DUMMY_SP instead of None | Oli Scherer | -34/+40 |
| 2025-06-03 | Add `iter` macro | Oli Scherer | -3/+19 |
| 2025-06-03 | builtin dyn impl no guide inference | lcnr | -1/+12 |
| 2025-06-03 | `FIXME(-Znext-solver)` triage | lcnr | -1/+1 |
| 2025-05-27 | Rename unpack to kind | Michael Goulet | -3/+3 |
| 2025-05-26 | Auto merge of #141605 - jieyouxu:rollup-3gjqh5l, r=jieyouxu | bors | -25/+12 |
| 2025-05-26 | Rename | Michael Goulet | -8/+8 |
| 2025-05-26 | Don't retry in pred_known_to_hold_modulo_regions in new solver, since new sol... | Michael Goulet | -1/+1 |
| 2025-05-26 | Avoid obligation construction dance with query region constraints | Michael Goulet | -23/+10 |
| 2025-05-23 | Auto merge of #140553 - BoxyUwU:defer_type_system_ctfe, r=compiler-errors | bors | -53/+86 |
| 2025-05-22 | Auto merge of #141396 - matthiaskrgr:rollup-feg050g, r=matthiaskrgr | bors | -1/+1 |
| 2025-05-22 | Rollup merge of #141390 - compiler-errors:poly-select-new-solver, r=lcnr | Matthias Krüger | -3/+5 |
| 2025-05-22 | Rollup merge of #141362 - BoxyUwU:correct_error_term_kind, r=lcnr | Matthias Krüger | -4/+25 |
| 2025-05-22 | Rollup merge of #141286 - compiler-errors:querify-coroutine, r=oli-obk | Matthias Krüger | -1/+1 |
| 2025-05-22 | Add test/comment about const patterns with unused params | Boxy | -0/+6 |
| 2025-05-22 | Review Comments | Boxy | -69/+69 |
| 2025-05-22 | Don't allow poly_select in new solver | Michael Goulet | -3/+5 |
| 2025-05-22 | Return correct error term kind on projection errors | Boxy | -4/+25 |
| 2025-05-21 | Rollup merge of #141363 - BoxyUwU:doc_lta_norm_binders, r=lcnr | Matthias Krüger | -4/+13 |
| 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 | 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 | Querify coroutine_hidden_types | Michael Goulet | -1/+1 |
| 2025-05-17 | Rollup merge of #141121 - compiler-errors:ambig-is-not-err, r=lcnr | Matthias Krüger | -2/+8 |
| 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 | 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 |
