[enricozb]

I'm not sure how these two things are related. When writing an `impl` for a struct, there's no assumption on the bounds of the generics (if any) unless they are specified _at the impl site_.

For example, the bounds of T in

    impl<T> Weird<T> {
      ..
    }

are independent of the bounds of `T` in any other impl or the struct definition.

Unless I'm missing something...