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

Age	Commit message (Expand)	Author	Lines
2023-12-18	track the source of nested goals	lcnr	-7/+9
2023-12-08	implement and use `NormalizesTo`	lcnr	-6/+2
2023-11-09	rework alias-relate to `norm(lhs) == norm(rhs)`	lcnr	-161/+98
2023-09-11	inspect: strongly typed CandidateKind	lcnr	-3/+3
2023-08-03	avoid more `ty::Binder:dummy`	lcnr	-1/+1
2023-07-24	Rollup merge of #113987 - compiler-errors:comments, r=lcnr	Matthias Krüger	-1/+20
2023-07-24	lcnr's suggestions	Michael Goulet	-2/+3
2023-07-23	Comment stuff in the new solver	Michael Goulet	-1/+19
2023-07-22	Get rid of subst-relate incompleteness in new solver	Michael Goulet	-9/+12
2023-07-14	refactor(rustc_middle): Substs -> GenericArg	Mahdi Dibaiee	-2/+2
2023-07-04	add `ecx.probe_candidate`	lcnr	-37/+31
2023-06-20	split probe into 2 functions for better readability	lcnr	-9/+5
2023-06-19	introduce a separate set of types for finalized proof trees	Boxy	-6/+7
2023-06-19	initial info dump	Boxy	-31/+40
2023-06-06	Fall back to bidirectional normalizes-to if no subst-eq in alias-eq goal	Michael Goulet	-23/+72
2023-06-06	Move alias-relate to its own module	Michael Goulet	-0/+146