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

Age	Commit message (Collapse)	Author	Lines
2020-03-02	Remove chalk integration	CAD97	-22/+0

2019-03-11	Update tests	Vadim Petrochenkov	-2/+2

2018-12-25	Remove licenses	Mark Rousskov	-2/+2

2018-11-13	Pretty print quantified goals and clauses	scalexm	-7/+6

2018-10-17	Add tests for `program_clauses_for_env`	scalexm	-3/+0

2018-10-03	Remove duplicate predicates in `explicit_predicates_of`	scalexm	-4/+2
	Fixes #52187.
2018-07-07	update tests	csmoe	-2/+2

2018-07-05	merge wellformed(wc)s	csmoe	-4/+4

2018-07-05	update test	csmoe	-0/+4

2018-07-02	introduce `predicates_defined_on` for traits	Niko Matsakis	-2/+2
	This new query returns only the predicates directly defined on an item (in contrast to the more common `predicates_of`, which returns the predicates that must be proven to reference an item). These two sets are almost always identical except for traits, where `predicates_of` includes an artificial `Self: Trait<...>` predicate (basically saying that you cannot use a trait item without proving that the trait is implemented for the type parameters). This new query is only used in chalk lowering, where this artificial `Self: Trait` predicate is problematic. We encode it in metadata but only where needed since it is kind of repetitive with existing information. Co-authored-by: Tyler Mandry <tmandry@gmail.com>
2018-04-23	sort strings on output	Niko Matsakis	-3/+3

2018-04-23	first draft of `program_clauses_for_env`	Niko Matsakis	-0/+24
	This computes the transitive closure of traits that appear in the environment and then appends their clauses. It needs some work, but it's in the right direction.