mozilla/rust — pull request #3977 by catamorphism (2012-11-16 00:38:40+00:00)
Title: Check for duplicate supertraits and forbid them

As per #3953

r? @nikomatsakis