| // ignore-compare-mode-nll |
| // compile-flags: -Z borrowck=migrate |
| #![feature(const_in_array_repeat_expressions)] |
| #![allow(warnings)] |
| |
| // Some type that is not copyable. |
| struct Bar; |
| |
| mod non_constants { |
| use Bar; |
| |
| fn no_impl_copy_empty_value_multiple_elements() { |
| let x = None; |
| let arr: [Option<Bar>; 2] = [x; 2]; |
| //~^ ERROR the trait bound `Option<Bar>: Copy` is not satisfied [E0277] |
| } |
| |
| fn no_impl_copy_value_multiple_elements() { |
| let x = Some(Bar); |
| let arr: [Option<Bar>; 2] = [x; 2]; |
| //~^ ERROR the trait bound `Option<Bar>: Copy` is not satisfied [E0277] |
| } |
| } |
| |
| fn main() {} |
