Fix ICE that @steveklabnik encountered in rust-book.#20645

Merged

alexcrichton merged 1 commit intorust-lang:masterfrom

nikomatsakis:rustbook-ice

Jan 7, 2015

Commits on Jan 6, 2015

Fix ICE that @steveklabnik encountered in rust-ice. The problems turned out to be that were being very loose with bound regions in trans (we were basically just ignoring and flattening binders). Si…
nikomatsakis
committed