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

Age	Commit message (Expand)	Author	Lines
2025-08-22	On E0277, point at type that doesn't implement bound	Esteban Küber	-2/+12
2025-06-27	tests: add #![rustc_no_implicit_bounds]	David Wood	-28/+29
2025-02-28	add test using only trait bounds	lcnr	-0/+48
2025-02-28	review	lcnr	-2/+10
2025-02-28	add test for newly supported behavior	lcnr	-0/+43
2025-02-28	normalizing where-clauses is also coinductive, add tests	lcnr	-0/+111
2024-10-29	Remove detail from label/note that is already available in other note	Esteban Küber	-2/+2
2024-09-20	update tests	lcnr	-0/+1
2024-05-20	track cycle participants per entry	lcnr	-3/+31
2024-05-16	Don't ICE because recomputing overflow goals during find_best_leaf_obligation...	Michael Goulet	-8/+1
2024-05-09	analyse visitor: build proof tree in probe	lcnr	-9/+6
2024-05-04	Only consider ambiguous goals when finding best obligation for ambiguities	Michael Goulet	-11/+13
2024-05-02	Use a proof tree visitor to refine the Obligation for error reporting	Michael Goulet	-5/+23
2024-02-29	distinguish recursion limit based overflow for diagnostics	lcnr	-1/+0
2024-02-16	[AUTO-GENERATED] Migrate ui tests from `//` to `//@` directives	许杰友 Jieyou Xu (Joe)	-2/+2
2023-12-14	consistently use "next solver" instead of "new solver"	lcnr	-0/+136