1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16
// Check that `where Self::Output: Copy` is turned into a bound on `Op::Output`. //check-pass trait Op where Self::Output: Copy, { type Output; } fn duplicate<T: Op>(x: T::Output) -> (T::Output, T::Output) { (x, x) } fn main() {}