rust - https://github.com/rust-lang/rust

Age	Commit message (Expand)	Author	Lines
2025-04-25	handle specialization in the new trait solver	lcnr	-21/+16
2025-02-05	Pass spans around new solver	Michael Goulet	-2/+6
2025-01-31	Manually walk into WF obligations in BestObligation proof tree visitor	Michael Goulet	-3/+4
2024-06-12	Also passthrough for projection clauses	Michael Goulet	-2/+2
2024-06-12	better error message for normalizes-to ambiguities	Michael Goulet	-2/+2
2024-06-12	Walk into alias-eq nested goals even if normalization fails	Michael Goulet	-4/+4
2024-05-30	Fold item bound before checking that they hold	Michael Goulet	-9/+2
2024-04-22	Stabilize generic `NonZero`.	Markus Reiter	-6/+6
2024-02-25	Use generic `NonZero` in tests.	Markus Reiter	-3/+3
2024-02-14	Continue compilation after check_mod_type_wf errors	Oli Scherer	-1/+19
2024-02-06	Rollup merge of #120513 - compiler-errors:normalize-regions-for-nll, r=lcnr	Matthias Krüger	-1/+1
2024-02-02	Normalize the whole PolyTypeOutlivesPredicate, more simplifications	Michael Goulet	-1/+1
2024-01-31	Remove a has_errors check that doesn't actually prevent noisy follow up errors	Oli Scherer	-2/+9
2024-01-30	Deeply normalize when processing registered region obligations	Michael Goulet	-3/+5
2024-01-02	Reorder `check_item_type` diagnostics so they occur next to the corresponding...	Oli Scherer	-9/+2
2023-12-14	consistently use "next solver" instead of "new solver"	lcnr	-0/+26