summaryrefslogtreecommitdiffstats
path: root/tests/ui/traits/suggest-dereferences/multiple-1.rs
blob: 91c6c7924a4082d911025bcc264ec1a77124a777 (plain)
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
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
use std::ops::{Deref, DerefMut};

trait Happy {}
struct LDM;
impl Happy for &mut LDM {}

struct Foo(LDM);
struct Bar(Foo);
struct Baz(Bar);
impl Deref for Foo {
    type Target = LDM;
    fn deref(&self) -> &Self::Target {
        &self.0
    }
}
impl Deref for Bar {
    type Target = Foo;
    fn deref(&self) -> &Self::Target {
        &self.0
    }
}
impl Deref for Baz {
    type Target = Bar;
    fn deref(&self) -> &Self::Target {
        &self.0
    }
}
impl DerefMut for Foo {
    fn deref_mut(&mut self) -> &mut Self::Target {
        &mut self.0
    }
}
impl DerefMut for Bar {
    fn deref_mut(&mut self) -> &mut Self::Target {
        &mut self.0
    }
}
impl DerefMut for Baz {
    fn deref_mut(&mut self) -> &mut Self::Target {
        &mut self.0
    }
}


fn foo<T>(_: T) where T: Happy {}

fn main() {
    // Currently the compiler doesn't try to suggest dereferences for situations
    // where DerefMut involves. So this test is meant to ensure compiler doesn't
    // generate incorrect help message.
    let mut baz = Baz(Bar(Foo(LDM)));
    foo(&mut baz);
    //~^ ERROR the trait bound `&mut Baz: Happy` is not satisfied
}