|
// 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 `Bar: Copy` is not satisfied
|
|
}
|