]>
Commit | Line | Data |
---|---|---|
04454e1e FG |
1 | // check-pass |
2 | ||
3 | struct S; | |
4 | ||
5 | enum E { | |
6 | V, | |
7 | } | |
8 | ||
9 | type A = E; | |
10 | ||
11 | fn main() { | |
12 | let mut a; | |
13 | ||
14 | (S, a) = (S, ()); | |
15 | ||
16 | (E::V, a) = (E::V, ()); | |
17 | ||
18 | (<E>::V, a) = (E::V, ()); | |
19 | (A::V, a) = (E::V, ()); | |
20 | } | |
21 | ||
22 | impl S { | |
23 | fn check() { | |
24 | let a; | |
25 | (Self, a) = (S, ()); | |
26 | } | |
27 | } | |
28 | ||
29 | impl E { | |
30 | fn check() { | |
31 | let a; | |
32 | (Self::V, a) = (E::V, ()); | |
33 | } | |
34 | } |