| Age | Commit message (Expand) | Author | Lines |
|---|
| 2025-03-24 | Allow WellFormed goals to be returned from relating in new solver | Michael Goulet | -7/+9 |
| 2025-03-15 | Use {Decodable,Encodable}_NoContext in type_ir | Michael Goulet | -2/+5 |
| 2025-03-15 | Fold visit into ty | Michael Goulet | -6/+7 |
| 2025-03-15 | Squash fold into ty | Michael Goulet | -10/+13 |
| 2025-03-12 | Rollup merge of #137314 - lcnr:cycles-with-unknown-kind, r=compiler-errors | Matthias Krüger | -20/+70 |
| 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 | -3/+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 | -3/+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 |
| 2025-02-26 | Use Binder<Vec<T>> instead of Vec<Binder<T>> in new solver | Michael Goulet | -48/+38 |
| 2025-02-19 | Make fewer crates depend on rustc_ast_ir | Michael Goulet | -4/+4 |
| 2025-02-18 | Auto merge of #137235 - matthiaskrgr:rollup-2kjua2t, r=matthiaskrgr | bors | -8/+29 |
| 2025-02-18 | don't ICE for alias-relate goals with error term | lcnr | -1/+11 |
| 2025-02-17 | Prefer param-env candidates even when alias's trait bound isn't proven via pa... | Michael Goulet | -8/+29 |
| 2025-02-13 | adjust derive_error | lcnr | -20/+0 |
| 2025-02-13 | rework pointee handling for the new rigid alias approach | lcnr | -67/+79 |
| 2025-02-13 | normalizes-to rework rigid alias handling | lcnr | -93/+76 |
| 2025-02-13 | Use BikeshedGuaranteedNotDrop in unsafe binder type WF too | Michael Goulet | -1/+1 |
| 2025-02-13 | Implement and use BikeshedGuaranteedNoDrop for union/unsafe field validity | Michael Goulet | -0/+117 |
| 2025-02-08 | Rustfmt | bjorn3 | -61/+89 |
| 2025-02-07 | Rollup merge of #136664 - WaffleLapkin:un-map_or-true, r=compiler-errors | Matthias Krüger | -1/+1 |
| 2025-02-06 | replace one `.map_or(true, ...)` with `.is_none_or(...)` | Waffle Lapkin | -1/+1 |
| 2025-02-06 | Rollup merge of #136069 - yotamofek:next-solver-slice, r=compiler-errors | Matthias Krüger | -7/+5 |
| 2025-02-05 | Pass spans around new solver | Michael Goulet | -20/+52 |
| 2025-02-05 | Remove span from delegate | Michael Goulet | -1/+1 |
| 2025-01-30 | introduce `ty::Value` | Lukas Markeffsky | -4/+2 |
| 2025-01-28 | Do not assume child bound assumptions for rigid alias | Michael Goulet | -14/+49 |
| 2025-01-25 | Simplify slice indexing in next trait solver | Yotam Ofek | -7/+5 |
| 2025-01-23 | Rollup merge of #135766 - lcnr:candidate-assembly-3, r=compiler-errors | Matthias Krüger | -20/+28 |
| 2025-01-22 | Use `structurally_normalize` instead of manual `normalizes-to` goals | Boxy | -23/+19 |
| 2025-01-20 | handle global trait bounds defining assoc type | lcnr | -2/+22 |
| 2025-01-20 | remove unnecessary collection | lcnr | -18/+6 |
| 2025-01-17 | new solver: prefer trivial builtin impls over where-clauses | Rémy Rakic | -2/+26 |
| 2025-01-14 | Prefer lower TraitUpcasting candidates | Michael Goulet | -3/+5 |
| 2025-01-08 | Implement const Destruct in old solver | Michael Goulet | -0/+2 |
| 2025-01-06 | Recurse on GAT where clauses in fulfillment error proof tree visitor | Michael Goulet | -2/+2 |
| 2025-01-06 | Add derived causes for host effect predicates | Michael Goulet | -1/+1 |
| 2025-01-03 | Also in the new solver | Michael Goulet | -17/+23 |
| 2024-12-22 | Begin to implement type system layer of unsafe binders | Michael Goulet | -2/+33 |
| 2024-12-18 | update new solver candidate assembly | lcnr | -89/+180 |
| 2024-12-18 | canonicalizer: keep 'static in the param_env | lcnr | -16/+7 |
| 2024-12-11 | Rename projection_def_id to item_def_id | Michael Goulet | -1/+1 |
