diff options
Diffstat (limited to 'src')
-rw-r--r-- | src/types.rs | 12 |
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()) && |