blob: 19217843759c1a31cea0ea2f1bd3f821a8d5c7df (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
|
// Some type that is not copyable.
struct Bar;
const fn no_copy() -> Option<Bar> {
None
}
const fn copy() -> u32 {
3
}
fn main() {
let _: [u32; 2] = [copy(); 2];
let _: [Option<Bar>; 2] = [no_copy(); 2];
//~^ ERROR the trait bound `Option<Bar>: Copy` is not satisfied
}
|
