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

Age	Commit message (Expand)	Author	Lines
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