blob: de6c2afa2bbe1ced719b17382e75908f23f8421a (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
|
// run-pass
// Tests that type parameter bounds on an implementation need not match the
// trait exactly, as long as the implementation doesn't demand *more* bounds
// than the trait.
// pretty-expanded FIXME #23616
trait A {
fn foo<T: Eq + Ord>(&self);
}
impl A for isize {
fn foo<T: Ord>(&self) {} // Ord implies Eq, so this is ok.
}
fn main() {}
|