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

Age	Commit message (Collapse)	Author	Lines
2025-06-27	tests: add #![rustc_no_implicit_bounds]	David Wood	-10/+14
	After reviewing all tests with `?Sized` and discussing with lcnr, these tests seem like they could probably benefit from `#![rustc_no_implicit_bounds]`.
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 ↵	Michael Goulet	-18/+2
	find_best_leaf_obligation causes inference side-effects
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
	also change the number of allowed fixpoint steps to be fixed instead of using the `log` of the total recursion depth.
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