Drop redundant generic bounds when the trait requires the bounds