Destructuring structs which implement Drop

[tbu]

Note that this is a different idea: I think the struct shouldn’t get its destructor called when destructured, just like there isn’t a constructor called when you ‘create’ it.