1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
|
//@ run-pass
// Test that the right implementation is called through a trait
// object when supertraits include multiple references to the
// same trait, with different type parameters.
trait A: PartialEq<Foo> + PartialEq<Bar> { }
struct Foo;
struct Bar;
struct Aimpl;
impl PartialEq<Foo> for Aimpl {
fn eq(&self, _rhs: &Foo) -> bool {
true
}
}
impl PartialEq<Bar> for Aimpl {
fn eq(&self, _rhs: &Bar) -> bool {
false
}
}
impl A for Aimpl { }
fn main() {
let a = &Aimpl as &dyn A;
assert!(*a == Foo);
}
|
