2 // Tests that type parameter bounds on an implementation need not match the
3 // trait exactly, as long as the implementation doesn't demand *more* bounds
6 // pretty-expanded FIXME #23616
9 fn foo<T: Eq + Ord>(&self);
13 fn foo<T: Ord>(&self) {} // Ord implies Eq, so this is ok.