// See issue #12534. fn main() {} struct A(Box); fn f(a @ A(u): A) -> Box { //~^ ERROR use of partially moved value drop(a); u }