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

Age	Commit message (Expand)	Author	Lines
2023-10-10	reorder files in solve	lcnr	-85/+0
2023-07-23	Comment stuff in the new solver	Michael Goulet	-0/+3
2023-07-14	refactor(rustc_middle): Substs -> GenericArg	Mahdi Dibaiee	-6/+6
2023-06-19	Don't consider TAIT normalizable to hidden ty if it would result in impossibl...	Michael Goulet	-5/+19
2023-06-09	split opaque type handling in new solver	lcnr	-1/+2
2023-05-25	Match on both reveal and solver mode at the same time	Michael Goulet	-41/+38
2023-05-25	Add InferCtxt::register_hidden_type_in_new_solver	Michael Goulet	-3/+7
2023-05-25	Pre-populate MIR with opaques, prefer subst-relate candidate	Michael Goulet	-6/+3
2023-05-25	Check that opaque is a defining use, prefer pre-defined opaques	Michael Goulet	-12/+45
2023-05-25	Prepopulate opaques in canonical input	Michael Goulet	-13/+5
2023-05-25	Pull out logic from #111131, plus some new logic in EvalCtxt::normalize_opaqu...	Michael Goulet	-0/+44