summaryrefslogtreecommitdiffstats
path: root/tests/ui/associated-types/associated-types-in-ambiguous-context.rs
blob: 51b53908f98c315195c98d9e90bfc99f05e62d17 (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
trait Get {
    type Value;
    fn get(&self) -> <Self as Get>::Value;
}

fn get<T:Get,U:Get>(x: T, y: U) -> Get::Value {}
//~^ ERROR ambiguous associated type

trait Grab {
    type Value;
    fn grab(&self) -> Grab::Value;
    //~^ ERROR ambiguous associated type

    fn get(&self) -> Get::Value;
    //~^ ERROR ambiguous associated type
}

trait Bar {}

trait Foo where Foo::Assoc: Bar {
//~^ ERROR ambiguous associated type
    type Assoc;
}

type X = std::ops::Deref::Target;
//~^ ERROR ambiguous associated type

fn main() {
}