Fixes ICEs using associated types cross crate by nikomatsakis · Pull Request #19545 · rust-lang/rust

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

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

Uh oh!

Fixes ICEs using associated types cross crate#19545

Fixes ICEs using associated types cross crate#19545
nikomatsakis wants to merge 33 commits into
rust-lang:masterfrom
nikomatsakis:issue-18048-assoc-type-ice

Commits on Dec 29, 2014

Refactor various queries out of `ty` and into `trans/common`

Make ExprUseVisitor<..> use inherited parameter environments.

Move the TypeContents-based "Sized" queries into trans, where the full

Rewrite the intrinsicck to take the parameter environment into account. Also fixes #20116.

Rename `trait_ref` field to `predicate`, since `trait_ref` is really

Rename `Polytype` to `TypeScheme` to differentiate type schemes (early bound) from higher-ranked things (late-bound), which also use the `Poly` prefix.

Move the scalar types out of static data so that we can put `Rc` into sty.

Implement associated type projection and normalization.

Convert to use `Rc<TraitRef>` in object types (finally!).

Integrate projection bounds to `ExistentialBounds` but do not use them for anything.

Allow object safe traits to access associated types.

Teach `project` to project associated types out of object types.

Make projected types select out of the trait bounds.

Update error messages in various compile-fail tests

Remove the def-id from type parameters. Having this def-id was bad for several reasons:

Don't normalize associated types when in region binders, wait until we instantiate

Patch tests and create new tests related to projection from a HRTB.

Add a FIXME relating to using `ast::Name`

Add a FIXME relating to Copy<T> not being checked

File a FIXME relating to using where clauses, not bounds

Add a FIXME to patch up rustdoc

Add a FIXME relating to regions and projection types

Add FIXMEs relating to caching of projection results

Patch long line.

Add a FIXME relating to these type-testing traits

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…

Resolve merge conflicts. This changes should really be integrated back to their respective

Correct licenses.

Encode the name for associated items on a trait. Fixes #18048.

Patch more metadata decoding problems.

Remove the AssocSpace

Encode the TypeScheme for associated types

Add a test case using associated types cross crate. Fixes #18048.