[rustc.git] / src / test / ui / traits / bound / impl-comparison-duplicates.rs

// 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() {}
Commit	Line	Data
b7449926	1	// run-pass
1a4d82fc JJ	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
	4	// than the trait.
223e47cc	5
c34b1796 AL	6	// pretty-expanded FIXME #23616
c34b1796 AL	7
1a4d82fc JJ	8	trait A {
1a4d82fc JJ	9	fn foo<T: Eq + Ord>(&self);
223e47cc LB	10	}
223e47cc LB	11
c34b1796	12	impl A for isize {
1a4d82fc	13	fn foo<T: Ord>(&self) {} // Ord implies Eq, so this is ok.
223e47cc LB	14	}
	15
	16	fn main() {}