]>
Commit | Line | Data |
---|---|---|
1b1a35ee | 1 | error[E0277]: the trait bound `NotCopy: Copy` is not satisfied |
0731742a | 2 | --> $DIR/wf-const-type.rs:10:12 |
b7449926 XL |
3 | | |
4 | LL | const FOO: IsCopy<Option<NotCopy>> = IsCopy { t: None }; | |
1b1a35ee | 5 | | ^^^^^^^^^^^^^^^^^^^^^^^ the trait `Copy` is not implemented for `NotCopy` |
b7449926 | 6 | | |
f2b60f7d | 7 | = note: required for `Option<NotCopy>` to implement `Copy` |
94222f64 XL |
8 | note: required by a bound in `IsCopy` |
9 | --> $DIR/wf-const-type.rs:7:17 | |
10 | | | |
11 | LL | struct IsCopy<T:Copy> { t: T } | |
12 | | ^^^^ required by this bound in `IsCopy` | |
04454e1e FG |
13 | help: consider annotating `NotCopy` with `#[derive(Copy)]` |
14 | | | |
353b0b11 FG |
15 | LL + #[derive(Copy)] |
16 | LL | struct NotCopy; | |
04454e1e | 17 | | |
b7449926 XL |
18 | |
19 | error: aborting due to previous error | |
20 | ||
21 | For more information about this error, try `rustc --explain E0277`. |