Trait implementations can not have generics with same name as trait

[xldenis]

There's a hygiene issue in the way that trait implementations declare their generics: if they overlap with the parent trait at all it can cause errors.