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
55
56
|
#![feature(associated_type_defaults)]
trait Tr {
type Y = u16;
fn Y() {}
}
impl Tr for u8 {}
trait Dr {
type X = u16;
fn Z() {}
}
impl Dr for u8 {}
enum E { Y }
type A = u32;
fn main() {
let _: <u8 as Tr>::N; //~ ERROR cannot find associated type `N` in trait `Tr`
let _: <u8 as E>::N; //~ ERROR expected trait, found enum `E`
let _: <u8 as A>::N; //~ ERROR expected trait, found type alias `A`
<u8 as Tr>::N; //~ ERROR cannot find method or associated constant `N` in trait `Tr`
<u8 as E>::N; //~ ERROR expected trait, found enum `E`
<u8 as A>::N; //~ ERROR expected trait, found type alias `A`
let _: <u8 as Tr>::Y; // OK
let _: <u8 as E>::Y; //~ ERROR expected trait, found enum `E`
<u8 as Tr>::Y; // OK
<u8 as E>::Y; //~ ERROR expected trait, found enum `E`
let _: <u8 as Tr>::N::NN; //~ ERROR cannot find associated type `N` in trait `Tr`
let _: <u8 as E>::N::NN; //~ ERROR expected trait, found enum `E`
let _: <u8 as A>::N::NN; //~ ERROR expected trait, found type alias `A`
<u8 as Tr>::N::NN; //~ ERROR cannot find associated type `N` in trait `Tr`
<u8 as E>::N::NN; //~ ERROR expected trait, found enum `E`
<u8 as A>::N::NN; //~ ERROR expected trait, found type alias `A`
let _: <u8 as Tr>::Y::NN; //~ ERROR ambiguous associated type
let _: <u8 as E>::Y::NN; //~ ERROR expected trait, found enum `E`
<u8 as Tr>::Y::NN; //~ ERROR no associated item named `NN` found for type `u16`
<u8 as E>::Y::NN; //~ ERROR expected trait, found enum `E`
let _: <u8 as Tr::N>::NN; //~ ERROR cannot find trait `N` in trait `Tr`
let _: <u8 as E::N>::NN; //~ ERROR cannot find trait `N` in enum `E`
let _: <u8 as A::N>::NN; //~ ERROR cannot find trait `N` in `A`
<u8 as Tr::N>::NN; //~ ERROR cannot find trait `N` in trait `Tr`
<u8 as E::N>::NN; //~ ERROR cannot find trait `N` in enum `E`
<u8 as A::N>::NN; //~ ERROR cannot find trait `N` in `A`
let _: <u8 as Tr::Y>::NN; //~ ERROR expected trait, found associated type `Tr::Y
let _: <u8 as E::Y>::NN; //~ ERROR expected trait, found variant `E::Y`
<u8 as Tr::Y>::NN; //~ ERROR expected trait, found associated type `Tr::Y`
<u8 as E::Y>::NN; //~ ERROR expected trait, found variant `E::Y`
let _: <u8 as Dr>::Z; //~ ERROR expected associated type, found associated function `Dr::Z`
<u8 as Dr>::X; //~ ERROR expected method or associated constant, found associated type `Dr::X`
let _: <u8 as Dr>::Z::N; //~ ERROR expected associated type, found associated function `Dr::Z`
<u8 as Dr>::X::N; //~ ERROR no associated item named `N` found for type `u16`
}
|
