rust/tests/ui/where-clauses/where-clauses-method.rs

21 lines
421 B
Rust

//@ run-pass
// Test that a where clause attached to a method allows us to add
// additional constraints to a parameter out of scope.
struct Foo<T> {
value: T
}
impl<T> Foo<T> {
fn equals(&self, u: &Foo<T>) -> bool where T : Eq {
self.value == u.value
}
}
fn main() {
let x = Foo { value: 1 };
let y = Foo { value: 2 };
println!("{}", x.equals(&x));
println!("{}", x.equals(&y));
}