src/test/ui/traits/issue-26339.rs


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);
}