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

Age	Commit message (Expand)	Author	Lines
2023-12-18	track the source of nested goals	lcnr	-6/+12
2023-12-14	rename `-Ztrait-solver` to `-Znext-solver`	lcnr	-1/+1
2023-11-21	Fix `clippy::needless_borrow` in the compiler	Nilstrieb	-1/+1
2023-11-17	Auto merge of #117278 - lcnr:try-normalize-ty, r=compiler-errors	bors	-2/+32
2023-11-13	Fix overflow and cycle bound for ProofTreeVisitor.	Gavin Gray	-1/+1
2023-11-09	`try_normalize_ty` end with rigid alias on failure	lcnr	-2/+32
2023-11-02	use global cache when computing proof trees	lcnr	-67/+66
2023-09-21	w	lcnr	-1/+1
2023-09-21	slight refactor, add comment	lcnr	-11/+20
2023-09-21	proof trees: use for `intercrate_ambiguity_causes`	lcnr	-0/+755
2023-07-03	add flag for disabling global cache and printing proof trees on error	Boxy	-5/+0
2023-06-19	create module so that RUSTC_LOG can filter to just proof trees	Boxy	-0/+5
2023-06-19	introduce a separate set of types for finalized proof trees	Boxy	-229/+0
2023-06-19	dont use a trait	Boxy	-113/+96
2023-06-19	say what kind of cache hit	Boxy	-5/+7
2023-06-19	initial info dump	Boxy	-0/+244