types: Don't avoid the destructor check when looking at unions.

This is kind of unfortunate, but we weren't taking into account explicit
destructors.

1 files changed, 8 insertions, 4 deletions

diff --git a/src/types.rs b/src/types.rs
index 30a4f454..9eaa3eb8 100644
--- a/src/types.rs
+++ b/src/types.rs
@@ -681,13 +681,17 @@ impl CompInfo {
         if self.no_copy {
             return false;
         }
+
+        // NOTE: Take into account that while unions in C and C++ are copied by
+        // default, the may have an explicit destructor in C++, so we can't
+        // defer this check just for the union case.
+        if self.has_destructor() {
+            return false;
+        }
+
         match self.kind {
             CompKind::Union => true,
             CompKind::Struct => {
-                if self.has_destructor() {
-                    return false;
-                }
-
                 // With template args, use a safe subset of the types,
                 // since copyability depends on the types itself.
                 self.ref_template.as_ref().map_or(true, |t| t.can_derive_copy()) &&