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

Age	Commit message (Expand)	Author	Lines
2023-03-23	Return nested obligations from canonical response var unification	Michael Goulet	-2/+12
2023-03-23	Rename AliasEq -> AliasRelate	Michael Goulet	-1/+1
2023-03-23	Include relation direction in AliasEq predicate	Michael Goulet	-1/+1
2023-03-05	drop_tracking_mir: support new solver.	Camille GILLOT	-1/+1
2023-02-10	add `AliasEq` to `PredicateKind`	Boxy	-0/+5
2023-02-07	Replacing bound vars is actually instantiating a binder	Michael Goulet	-3/+3
2023-01-27	Compute generator saved locals on MIR.	Camille GILLOT	-0/+7
2023-01-27	Separate trait selection from ambiguity reporting.	Camille GILLOT	-6/+1
2023-01-26	Report the right fulfillment errors	Michael Goulet	-10/+57
2023-01-23	`new_outside_solver` -> `evaluate_root_goal`	lcnr	-5/+2
2023-01-22	Store relationships on Inherent	Santiago Pastorino	-6/+0
2023-01-19	swap Ambiguity and Unimplemented in new trait engine	Michael Goulet	-2/+4
2023-01-18	remove assembly context and impl a bit more	lcnr	-21/+6
2023-01-18	instantiate canonical vars eagerly	lcnr	-5/+21
2023-01-12	Implement dummy query responses and a jank instantiate	Michael Goulet	-1/+1
2023-01-11	Report fulfillment errors in new trait solver	Michael Goulet	-11/+25
2022-12-19	implement the skeleton of the updated trait solver	lcnr	-0/+92