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

Age	Commit message (Expand)	Author	Lines
2023-01-18	Canonicalize trait solver response inside probe	Michael Goulet	-0/+7
2023-01-18	remove assembly context and impl a bit more	lcnr	-4/+17
2023-01-18	instantiate canonical vars eagerly	lcnr	-84/+128
2023-01-17	new trait solver: only consider goal changed if response is not identity	Michael Goulet	-1/+1
2023-01-12	HACK: Handle escaping bound vars from the canonical query	Michael Goulet	-1/+1
2023-01-12	Implement dummy query responses and a jank instantiate	Michael Goulet	-14/+41
2022-12-20	dedup assembly	lcnr	-0/+1
2022-12-19	implement the skeleton of the updated trait solver	lcnr	-0/+308