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

Age	Commit message (Expand)	Author	Lines
2025-05-01	Set groundwork for proper const normalization	Boxy	-8/+17
2024-10-12	Swap Vec<PredicateObligation> to type alias	GnomedDev	-2/+2
2024-07-29	Reformat `use` declarations.	Nicholas Nethercote	-2/+1
2024-06-11	Try not to make obligations in handle_opaque_type	Michael Goulet	-5/+6
2024-05-13	split out AliasTy -> AliasTerm	Michael Goulet	-2/+2
2024-05-10	Use fewer origins when creating type variables.	Nicholas Nethercote	-5/+1
2024-04-15	Remove TypeVariableOriginKind	Michael Goulet	-2/+2
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