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