Merge pull request #84987 from j-hui/value-semantics-implicit-dtors

Author: j-hui

lib/ClangImporter/ClangImporter.cpp

@@ -8303,6 +8303,9 @@ static bool hasMoveTypeOperations(const clang::CXXRecordDecl *decl) {
 }
 
 static bool hasDestroyTypeOperations(const clang::CXXRecordDecl *decl) {
+  if (decl->hasSimpleDestructor())
+    return true;
+
   if (auto dtor = decl->getDestructor()) {
     if (dtor->isDeleted() || dtor->isIneligibleOrNotSelected() ||
         dtor->getAccess() != clang::AS_public) {

test/Interop/Cxx/class/noncopyable-typechecker.swift

@@ -79,6 +79,9 @@ struct SWIFT_NONCOPYABLE NonCopyableNonMovable { // expected-note {{record 'NonC
     NonCopyableNonMovable(NonCopyableNonMovable&& other) = delete;
 };
 
+template<typename T> struct SWIFT_COPYABLE_IF(T) DisposableContainer {};
+struct POD { int x; float y; }; // special members are implicit, but should be copyable
+using DisposablePOD = DisposableContainer<POD>; // should also be copyable
 
 //--- test.swift
 import Test
@@ -129,3 +132,7 @@ func missingLifetimeOperation() {
     let s = NonCopyableNonMovable() // expected-error {{cannot find 'NonCopyableNonMovable' in scope}}
     takeCopyable(s)
 }
+
+func copyableDisposablePOD(p: DisposablePOD) {
+  takeCopyable(p)
+}