rust-lang/rfcs — pull request #387 by nikomatsakis (2014-10-10 19:33:13+00:00)
Title: Higher-ranked trait bounds

A description of higher-ranked trait bounds, which is the remaining piece needed to make unboxed closures equal to normal closures.