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

Age	Commit message (Expand)	Author	Lines
2025-06-27	tests: add #![rustc_no_implicit_bounds]	David Wood	-10/+14
2025-04-10	Deeply normalize obligations in BestObligation	Michael Goulet	-4/+4
2025-03-05	change definitely non-productive cycles to error	lcnr	-106/+16
2024-10-21	don't bail when encountering many placeholders	lcnr	-14/+3
2024-10-21	normalizes-to disable infer var check	lcnr	-7/+4
2024-10-01	add tests	lcnr	-0/+97
2024-09-20	update tests	lcnr	-1/+13
2024-05-16	Don't ICE because recomputing overflow goals during find_best_leaf_obligation...	Michael Goulet	-18/+2
2024-05-02	Higher ranked goal source, do overflow handling less badly	Michael Goulet	-2/+2
2024-05-02	Use a proof tree visitor to refine the Obligation for error reporting	Michael Goulet	-2/+18
2024-03-18	`NormalizesTo` return nested goals	lcnr	-16/+0
2024-02-29	distinguish recursion limit based overflow for diagnostics	lcnr	-34/+1
2024-02-16	[AUTO-GENERATED] Migrate ui tests from `//` to `//@` directives	许杰友 Jieyou Xu (Joe)	-8/+8
2024-02-01	review comment: change wording	Esteban Küber	-4/+4
2024-01-29	bye bye `assemble_candidates_via_self_ty`	lcnr	-2/+38
2024-01-26	next-solver: normalize in `LoweredTy::from_raw`	lcnr	-2/+22
2024-01-11	Remove special-casing around aliaskind in new solver	Michael Goulet	-8/+46
2023-12-18	dont discard overflow from normalizes-to goals	lcnr	-0/+25
2023-12-14	consistently use "next solver" instead of "new solver"	lcnr	-0/+197