Skip to content

Conversation

nikomatsakis
Copy link
Contributor

Fixes for #20831 and #21010

r? @nick29581

@nikomatsakis nikomatsakis changed the title Fix subtle errors in debruin indexing and projection flag propagation Fix subtle errors in DeBruijn indexing and projection flag propagation Jan 13, 2015
@nikomatsakis nikomatsakis changed the title Fix subtle errors in DeBruijn indexing and projection flag propagation More associated types "fun" Jan 13, 2015
@nikomatsakis
Copy link
Contributor Author

Removed r+ from nrc because I see an error building locally. Going to try and fix that.

absent. This occurs while printing object type projections for
debugging (note that the `UserString` impl is much more careful about
this).
… papers over a lack

of normalization that should have taken place.

This reverts commit f7745a9.
@nikomatsakis nikomatsakis force-pushed the assoc-type-ice-hunt-take-1 branch from 14c4d16 to 2479dfc Compare January 14, 2015 21:35
alexcrichton added a commit to alexcrichton/rust that referenced this pull request Jan 15, 2015
@bors bors merged commit 2479dfc into rust-lang:master Jan 16, 2015
@nikomatsakis nikomatsakis deleted the assoc-type-ice-hunt-take-1 branch March 30, 2016 16:12
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.

3 participants