[rustc.git] / src / test / ui / wf / wf-const-type.stderr

error[E0277]: the trait bound `NotCopy: std::marker::Copy` is not satisfied
  --> $DIR/wf-const-type.rs:10:12
   |
LL | struct IsCopy<T:Copy> { t: T }
   |                 ---- required by this bound in `IsCopy`
...
LL | const FOO: IsCopy<Option<NotCopy>> = IsCopy { t: None };
   |            ^^^^^^^^^^^^^^^^^^^^^^^ the trait `std::marker::Copy` is not implemented for `NotCopy`
   |
   = note: required because of the requirements on the impl of `std::marker::Copy` for `std::option::Option<NotCopy>`

error: aborting due to previous error

For more information about this error, try `rustc --explain E0277`.
Commit	Line	Data
b7449926	1	error[E0277]: the trait bound `NotCopy: std::marker::Copy` is not satisfied
0731742a	2	--> $DIR/wf-const-type.rs:10:12
b7449926	3	\|
e1599b0c	4	LL \| struct IsCopy<T:Copy> { t: T }
ba9703b0	5	\| ---- required by this bound in `IsCopy`
e1599b0c	6	...
b7449926	7	LL \| const FOO: IsCopy<Option<NotCopy>> = IsCopy { t: None };
0bf4aa26	8	\| ^^^^^^^^^^^^^^^^^^^^^^^ the trait `std::marker::Copy` is not implemented for `NotCopy`
b7449926 XL	9	\|
b7449926 XL	10	= note: required because of the requirements on the impl of `std::marker::Copy` for `std::option::Option<NotCopy>`
b7449926 XL	11
	12	error: aborting due to previous error
	13
	14	For more information about this error, try `rustc --explain E0277`.