Rewrite associated types to use projection rather than dummy type parameters#20307

Merged

bors merged 36 commits intorust-lang:masterfrom

nikomatsakis:assoc-types-normalization-extend-bound

Dec 30, 2014

Commits on Dec 30, 2014

Refactor various queries out of `ty` and into `trans/common`
nikomatsakis
committed
Make ExprUseVisitor<..> use inherited parameter environments.
nikomatsakis
committed
Move the TypeContents-based "Sized" queries into trans, where the full
nikomatsakis
committed
Rewrite the intrinsicck to take the parameter environment into account. Also fixes #20116.
nikomatsakis
committed
Rename `trait_ref` field to `predicate`, since `trait_ref` is really
nikomatsakis
committed
Rename `Polytype` to `TypeScheme` to differentiate type schemes (early bound) from higher-ranked things (late-bound), which also use the `Poly` prefix.
nikomatsakis
committed
Move the scalar types out of static data so that we can put `Rc` into sty.
nikomatsakis
committed
Implement associated type projection and normalization.
nikomatsakis
committed
Convert to use `Rc<TraitRef>` in object types (finally!).
nikomatsakis
committed
Integrate projection bounds to `ExistentialBounds` but do not use them for anything.
nikomatsakis
committed
Allow object safe traits to access associated types.
nikomatsakis
committed
Teach `project` to project associated types out of object types.
nikomatsakis
committed
Make projected types select out of the trait bounds.
nikomatsakis
committed
Update error messages in various compile-fail tests
nikomatsakis
committed
Remove the def-id from type parameters. Having this def-id was bad for several reasons:
nikomatsakis
committed
Don't normalize associated types when in region binders, wait until we instantiate
nikomatsakis
committed
Patch tests and create new tests related to projection from a HRTB.
nikomatsakis
committed
Add a FIXME relating to using `ast::Name`
nikomatsakis
committed
Add a FIXME relating to Copy<T> not being checked
nikomatsakis
committed
File a FIXME relating to using where clauses, not bounds
nikomatsakis
committed
Add a FIXME to patch up rustdoc
nikomatsakis
committed
Add a FIXME relating to regions and projection types
nikomatsakis
committed
Add FIXMEs relating to caching of projection results
nikomatsakis
committed
Patch long line.
nikomatsakis
committed
Add a FIXME relating to these type-testing traits
nikomatsakis
committed
Adjust tests for inferenceGet more conservative about inference for now. Seems better to err on the side of being more correct rather than less. Fix a bug in typing index expressions that was expos…
nikomatsakis
committed
Resolve merge conflicts. This changes should really be integrated back to their respective
nikomatsakis
committed
Correct licenses.
nikomatsakis
committed
Encode the name for associated items on a trait. Fixes #18048.
nikomatsakis
committed
Patch more metadata decoding problems.
nikomatsakis
committed
Remove the AssocSpace
nikomatsakis
committed
Encode the TypeScheme for associated types
nikomatsakis
committed
Add a test case using associated types cross crate. Fixes #18048.
nikomatsakis
committed
Normalize associated types in bounds too. Also, make the workaround
nikomatsakis
committed
Address nits.
nikomatsakis
committed
Fix rebase conflicts
nikomatsakis
committed