Make the return type of `Fn` trait an associated type#21019

Merged

bors merged 14 commits intorust-lang:masterfrom

nikomatsakis:issue-20871-ret-as-assoc-type

Jan 28, 2015

Commits on Jan 28, 2015

Change list of predicates in ParameterEnvironment to a `Vec`.
nikomatsakis
committed
Add the notion of normalizing a parameter environment and ensure that
nikomatsakis
committed
Move return type an associated type of the `Fn*` traits. Mostly this involves tweaking things in
nikomatsakis
committed
Fix a latent bug in trait dispatch where we sometimes counted associated types
nikomatsakis
committed
When pretty-printing object types, include the output associated type
nikomatsakis
committed
Add Clone to the list of bounds for a TypeFolder. (Kill?)
nikomatsakis
committed
Extract expectations from the projection obligation, which includes
nikomatsakis
committed
Patch variance bug: appearing in a binding is an invariant position (at least right now).
nikomatsakis
committed
Update Rustdoc to deal with the Fn return type being an associated type.
nikomatsakis
committed
Update test files; mostly the problem is that they were using the
nikomatsakis
committed
Add missing space to error message.
nikomatsakis
committed
Adjust comment per nrc's suggestion.
nikomatsakis
committed
Add new test for object method numbering mismatches.
nikomatsakis
committed
Add regression test for #21212. Fixes #21212.
nikomatsakis
committed