Can you also add a test for `static mut FOO: SafeEnum = Variant1`? The compiler should deny that because some variant does have a destructor.