Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Refactor QPath to take an ast::TraitRef #18868

Merged

Conversation

nikomatsakis
Copy link
Contributor

This fixes #17388.

Note that we don't check type parameters in trait-references and so on, so we accept some nonsense (I opened #18865). (It may be easier to just add support for T::Foo and deprecate the qpath code until we can implement it more robustly using the trait lookup infrastructure, not sure.)

@nikomatsakis
Copy link
Contributor Author

r? @pcwalton

@adrientetar
Copy link
Contributor

Tidy error

@nikomatsakis nikomatsakis force-pushed the issue-17388-unbound-path-assoc-type branch 2 times, most recently from ae03e92 to 420de27 Compare November 19, 2014 02:56
bors added a commit that referenced this pull request Nov 19, 2014
…oc-type, r=pcwalton

This fixes #17388. 

Note that we don't check type parameters in trait-references and so on, so we accept some nonsense (I opened #18865). (It may be easier to just add support for `T::Foo` and deprecate the qpath code until we can implement it more robustly using the trait lookup infrastructure, not sure.)
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

ICE with associated types: unbound path
5 participants