mirror of https://github.com/rust-lang/rust.git
12 lines
312 B
Rust
12 lines
312 B
Rust
#![feature(generic_arg_infer)]
|
|
|
|
// 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;
|
|
}
|