rust-lang/rfcs — pull request #447 by nikomatsakis (2014-11-06 14:28:04+00:00)
Title: Prohibit unused type parameters in impls.

For well-defined semantics, we must ensure that impls do not have type parameters that do not appear within the trait or self-type.