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

Age	Commit message (Collapse)	Author	Lines
2019-04-18	hide `--explain` hint if error has no extended info	Andy Russell	-1/+1

2019-03-20	Fix a bug in implied bounds	scalexm	-3/+3

2019-03-20	Gather region constraints not coming from unification	scalexm	-2/+0

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

2018-12-31	Improve type mismatch error messages	Yuning Zhang	-1/+1
	Replace "integral variable" with "integer" and replace "floating-point variable" with "floating-point number" to make the message less confusing.
2018-12-27	Add tests	scalexm	-0/+54

2018-12-25	Remove licenses	Mark Rousskov	-93/+13

2018-11-13	Implement `ProjectionEq-Normalize`	csmoe	-0/+1

2018-11-13	Use a dummy outlives requirement for `where Type:,` (see #53696)	scalexm	-2/+2
	A `WF(Type)` predicate was used previously, which did not play well with implied bounds in chalk.
2018-11-13	Bypass ppaux for `Outlives` predicates	scalexm	-11/+11

2018-11-13	Provide program clauses for builtin types	scalexm	-0/+2

2018-11-13	Pretty print quantified goals and clauses	scalexm	-64/+51

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

2018-10-08	Add chalk rules related to associated type defs	scalexm	-11/+21
	* Rule ProjectionEq-Skolemize * Rule WellFormed-AssocTy * Rule Implied-Trait-From-AssocTy
2018-10-03	Remove duplicate predicates in `explicit_predicates_of`	scalexm	-4/+2
	Fixes #52187.
2018-08-31	rustc_typeck: turn `where Type:,` into a WF(Type) predicate, instead of ↵	Eduard-Mihai Burtescu	-2/+11
	ignoring it.
2018-08-27	fix some anon params	Mark Mansi	-7/+7

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