gistfile1.txt

Destroy:

````rust
trait Destroy {
    /// Called only when panicking
    pub fn destroy(&mut self);
}
````

Drop:
````rust
trait Drop {
    /// Called when going out of scope. May safely be left uncalled, although this can leak memory or resources so it's not recommended.
    /// Never called when panicking. (Notably, this could it O.K. to panic in Drop, which is nice.)
    /// (Should panicking in Drop call Destroy?)
    pub fn drop(&mut self);
}
````

Destroy works sorta like Drop does today; if you don't implement it explicitly, nothing happens when you're panicking.

Not implementing Drop now makes your type linear.