| 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:12: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: aborting due to 5 previous errors |
| |
| For more information about this error, try `rustc --explain E0405`. |
