tests/ui/repeat-expr/copy-check-when-count-inferred-later.rs


1
2
3
4
5
6
7
8
9

// Test that we enforce repeat expr element types are `Copy` even
// when the repeat count is only inferred at a later point in type
// checking.

fn main() {
    let a = [String::new(); _];
    //~^ ERROR: the trait bound `String: Copy` is not satisfied
    let b: [_; 2] = a;
}