That sounds like for immutable statics you want to not use the type contents, but for mutable statics you do indeed want to check the type contents.

With this in mind, can you add a test for this:

```rust
enum A { A1(~str), B }
static mut foo: A = B; //~error: `A` has a destructor
```