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

Age	Commit message (Expand)	Author	Lines
2024-06-18	Uplift the new trait solver	Michael Goulet	-573/+0
2024-06-18	SolverDelegate	Michael Goulet	-4/+5
2024-06-13	Address nits	Michael Goulet	-3/+4
2024-05-28	Make ProofTreeBuilder actually generic over interner	Michael Goulet	-59/+53
2024-05-24	remove proof tree formatter, make em shallow	lcnr	-156/+70
2024-05-18	Make proof tree building generic	Michael Goulet	-88/+102
2024-05-18	Uplift inspect into rustc_type_ir	Michael Goulet	-14/+14
2024-05-13	Remove `extern crate rustc_middle` from `rustc_trait_selection`.	Nicholas Nethercote	-0/+1
2024-05-07	Rollup merge of #124827 - lcnr:generalize-incomplete, r=compiler-errors	Matthias Krüger	-1/+4
2024-05-07	generalize hr alias: avoid unconstrainable infer vars	lcnr	-1/+4
2024-05-06	Record impl args in the InsepctCandiate rather than rematching during select	Michael Goulet	-1/+29
2024-04-27	Record certainty of evaluate_added_goals_and_make_canonical_response call in ...	Michael Goulet	-0/+17
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