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

Age	Commit message (Expand)	Author	Lines
2024-04-25	hir typeck: look into nested goals	lcnr	-95/+168
2024-04-04	normalizes-to change from '1' to '0 to inf' steps	lcnr	-27/+0
2024-03-18	cleanup + review	lcnr	-8/+4
2024-03-18	move `normalizes_to_hack` to `AliasRelate`	lcnr	-0/+11
2024-02-26	always emit `AliasRelate` goals when relating aliases	lcnr	-14/+0
2024-01-09	readd the provisional cache	lcnr	-0/+5
2023-12-18	track the source of nested goals	lcnr	-5/+11
2023-12-14	rename `-Ztrait-solver` to `-Znext-solver`	lcnr	-1/+1
2023-11-09	`try_normalize_ty` end with rigid alias on failure	lcnr	-0/+27
2023-11-02	use global cache when computing proof trees	lcnr	-60/+61
2023-09-21	proof trees: use for `intercrate_ambiguity_causes`	lcnr	-0/+522