Separate out predicates from ty::Generics and ty::TraitDef#22182

Merged

bors merged 12 commits intorust-lang:masterfrom

nikomatsakis:cycles-in-collect

Feb 12, 2015

Commits on Feb 12, 2015

Update metadata to reflect that predicates/schemes/trait-defs are now severed
nikomatsakis
committed
Make VecPerParamSpace support IntoIterator
nikomatsakis
committed
Split the predicates listing out of `TraitDef` and `TypeScheme` and into a separate map, `tcx.predicates`, that is used for both traits and other kinds of items. Also use two newtypes to distinguish
nikomatsakis
committed
Refactor collect to separate out the computation of the type scheme
nikomatsakis
committed
Rote changes to fix fallout throughout the compiler from splitting the
nikomatsakis
committed
Modify `repr()` so that when `-Z verbose` is used, at least, it does not
nikomatsakis
committed
Adjust wording of astconv comment.
nikomatsakis
committed
Add test for IntoIterator pattern blocked by #20220. Fixes #20220.
nikomatsakis
committed
Add test for self-referencing pattern blocked by #20551. Fixes #20551.
nikomatsakis
committed
Add test that shows how a cycle between the where-clauses on a type
nikomatsakis
committed
Pacify the mercilous tidy.
nikomatsakis
committed
Pacify the merciless nrc.
nikomatsakis
committed