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

Age	Commit message (Expand)	Author	Lines
2023-07-03	remove TypeWellFormedFromEnv	Michael Goulet	-2/+1
2023-06-26	TypeWellFormedInEnv	Michael Goulet	-1/+2
2023-06-26	Migrate predicates_of and caller_bounds to Clause	Michael Goulet	-34/+24
2023-06-19	s/Clause/ClauseKind	Michael Goulet	-10/+9
2023-06-17	Move ConstEvaluatable to Clause	Michael Goulet	-1/+1
2023-06-17	Move WF goal to clause	Michael Goulet	-1/+1
2023-05-29	EarlyBinder::new -> EarlyBinder::bind	lcnr	-1/+1
2023-05-28	Replace EarlyBinder(x) with EarlyBinder::new(x)	Kyle Matsuda	-1/+1
2023-03-23	Rename AliasEq -> AliasRelate	Michael Goulet	-1/+1
2023-02-17	Add `Clause::ConstArgHasType` variant	Boxy	-0/+1
2023-02-10	add `AliasEq` to `PredicateKind`	Boxy	-0/+1
2022-11-25	Introduce PredicateKind::Clause	Santiago Pastorino	-20/+22
2022-11-21	Add an always-ambiguous predicate to make sure that we don't accidentlally al...	Oli Scherer	-0/+1
2022-09-27	rustc_typeck to rustc_hir_analysis	lcnr	-0/+69