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

Age	Commit message (Expand)	Author	Lines
2023-07-04	-Ztrait-solver=next: stop depending on old solver	lcnr	-24/+13
2023-06-19	s/Clause/ClauseKind	Michael Goulet	-4/+5
2023-06-06	New trait solver is a property of inference context	Michael Goulet	-1/+1
2023-03-23	Rename AliasEq -> AliasRelate	Michael Goulet	-1/+1
2023-02-10	implement `compute_alias_eq_goal`	Boxy	-11/+23
2022-12-13	squash OpaqueTy and ProjectionTy into AliasTy	Michael Goulet	-1/+1
2022-12-13	ProjectionTy.item_def_id -> ProjectionTy.def_id	Michael Goulet	-1/+1
2022-11-16	Convert predicates into Predicate in the Obligation constructor	Oli Scherer	-7/+3
2022-10-07	Remove TypeckResults from InferCtxt	Cameron Steffen	-1/+1
2022-01-17	Use Term in ProjectionPredicate	kadmin	-1/+2
2021-09-20	Add a doc comment to infer_projection	Oli Scherer	-0/+6
2021-09-20	Add helper function to `InferCtxt` that generates inference vars for unresolv...	Oli Scherer	-0/+33