1 error[E0277]: the trait bound `Bar: Copy` is not satisfied
2 --> $DIR/migrate-fail.rs:11:38
4 LL | let arr: [Option<Bar>; 2] = [x; 2];
5 | ^ the trait `Copy` is not implemented for `Bar`
7 = note: required for `Option<Bar>` to implement `Copy`
8 = note: the `Copy` trait is required because this value will be copied for each element of the array
9 help: consider annotating `Bar` with `#[derive(Copy)]`
14 error[E0277]: the trait bound `Bar: Copy` is not satisfied
15 --> $DIR/migrate-fail.rs:17:38
17 LL | let arr: [Option<Bar>; 2] = [x; 2];
18 | ^ the trait `Copy` is not implemented for `Bar`
20 = note: required for `Option<Bar>` to implement `Copy`
21 = note: the `Copy` trait is required because this value will be copied for each element of the array
22 help: consider annotating `Bar` with `#[derive(Copy)]`
27 error: aborting due to 2 previous errors
29 For more information about this error, try `rustc --explain E0277`.