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

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...