| error[E0277]: the trait bound `String: Copy` is not satisfied |
| --> $DIR/copy-check-when-count-inferred-later.rs:6:14 |
| | |
| LL | let a = [String::new(); _]; |
| | ^^^^^^^^^^^^^ the trait `Copy` is not implemented for `String` |
| | |
| = note: the `Copy` trait is required because this value will be copied for each element of the array |
| help: create an inline `const` block |
| | |
| LL | let a = [const { String::new() }; _]; |
| | +++++++ + |
| |
| error: aborting due to 1 previous error |
| |
| For more information about this error, try `rustc --explain E0277`. |
