blob: 79764d01b3b3ad37a4b5ae4d68c7ab8ce84d2f2b (
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
55
56
57
58
59
|
error: bounds on `type`s in this context have no effect
--> $DIR/issue-83479.rs:3:24
|
LL | type PairCoupledTypes: Trait<
| ________________________^
LL | |
LL | |
LL | | [u32; {
LL | | static FOO: usize;
LL | | }],
LL | | > = impl Trait<
| |_^
error: free static item without body
--> $DIR/issue-83479.rs:7:9
|
LL | static FOO: usize;
| ^^^^^^^^^^^^^^^^^-
| |
| help: provide a definition for the static: `= <expr>;`
error: free static item without body
--> $DIR/issue-83479.rs:13:9
|
LL | static FOO: usize;
| ^^^^^^^^^^^^^^^^^-
| |
| help: provide a definition for the static: `= <expr>;`
error[E0405]: cannot find trait `Trait` in this scope
--> $DIR/issue-83479.rs:3:24
|
LL | type PairCoupledTypes: Trait<
| ^^^^^ not found in this scope
error[E0405]: cannot find trait `Trait` in this scope
--> $DIR/issue-83479.rs:9:10
|
LL | > = impl Trait<
| ^^^^^ not found in this scope
error: unconstrained opaque type
--> $DIR/issue-83479.rs:9:5
|
LL | > = impl Trait<
| _____^
LL | |
LL | |
LL | | [u32; {
LL | | static FOO: usize;
LL | | }],
LL | | >;
| |_^
|
= note: `PairCoupledTypes` must be used in combination with a concrete type within the same crate
error: aborting due to 6 previous errors
For more information about this error, try `rustc --explain E0405`.
|
