summaryrefslogtreecommitdiffstats
path: root/tests/ui/traits/bound/impl-comparison-duplicates.rs
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() {}