const fn f(_: Box) {} //~^ ERROR destructor of fn main() {}