1 error[E0277]: the trait bound `NotCopy: Copy` is not satisfied
2 --> $DIR/wf-static-type.rs:10:13
4 LL | static FOO: IsCopy<Option<NotCopy>> = IsCopy { t: None };
5 | ^^^^^^^^^^^^^^^^^^^^^^^ the trait `Copy` is not implemented for `NotCopy`
7 = note: required for `Option<NotCopy>` to implement `Copy`
8 note: required by a bound in `IsCopy`
9 --> $DIR/wf-static-type.rs:7:17
11 LL | struct IsCopy<T:Copy> { t: T }
12 | ^^^^ required by this bound in `IsCopy`
13 help: consider annotating `NotCopy` with `#[derive(Copy)]`
19 error: aborting due to previous error
21 For more information about this error, try `rustc --explain E0277`.