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

Age	Commit message (Collapse)	Author	Lines
2018-07-07	update tests	csmoe	-6/+3

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

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

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-06-07	Add tests for `WellFormed-Type` and `FromEnv-Type` rules	scalexm	-0/+30

2018-06-07	Remove `FromEnv(ProjectionEq(...))` from tests	scalexm	-1/+1

2018-04-23	sort strings on output	Niko Matsakis	-9/+9

2018-04-23	first draft of `program_clauses_for_env`	Niko Matsakis	-0/+48
	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.
2018-04-23	in unit tests, use `note` to dump multiple program clauses	Niko Matsakis	-100/+38
	(rather than issuing multiple errors) Also, reorder so that the annotations are considered "used" when the lint runs.
2018-04-15	Stop duplicating where clauses from impl's.	Fabian Zaiser	-1/+1

2018-04-15	Implement Chalk lowering rule Normalize-From-Impl	Fabian Zaiser	-1/+16

2018-04-06	chalkify: Implement Rule Implied-Bound-From-Trait	Tyler Mandry	-1/+147

2018-03-20	Add unit test for Implemented-From-Env	varkor	-0/+30

2018-03-14	Address niko's nits	scalexm	-1/+1

2018-03-14	Add MVP for chalkification	scalexm	-0/+28