[cxx-interop] Import move only type support by default.

lib/ClangImporter/ImportDecl.cpp

@@ -2161,15 +2161,6 @@ namespace {
       Impl.ImportedDecls[{decl->getCanonicalDecl(), getVersion()}] = result;
 
       if (recordHasMoveOnlySemantics(decl)) {
-        if (!Impl.SwiftContext.LangOpts.hasFeature(Feature::MoveOnly)) {
-          Impl.addImportDiagnostic(
-              decl, Diagnostic(
-                        diag::move_only_requires_move_only,
-                        Impl.SwiftContext.AllocateCopy(decl->getNameAsString())),
-              decl->getLocation());
-          return nullptr;
-        }
-
         result->getAttrs().add(new (Impl.SwiftContext)
                                    MoveOnlyAttr(/*Implicit=*/true));
       }
@@ -3843,7 +3834,7 @@ namespace {
       auto loc = Impl.importSourceLoc(decl->getLocation());
       auto dc = Impl.importDeclContextOf(
           decl, importedName.getEffectiveContext());
-
+      
       SmallVector<GenericTypeParamDecl *, 4> genericParams;
       for (auto &param : *decl->getTemplateParameters()) {
         auto genericParamDecl =

test/Interop/Cxx/class/type-classification-module-interface.swift

@@ -5,13 +5,7 @@
 // CHECK-NOT: StructWithPrivateDefaultedCopyConstructor
 // CHECK-NOT: StructWithInheritedPrivateDefaultedCopyConstructor
 // CHECK-NOT: StructWithSubobjectPrivateDefaultedCopyConstructor
-// CHECK-NOT: StructNonCopyableTriviallyMovable
-// CHECK-NOT: StructWithPointerNonCopyableTriviallyMovable
-// CHECK-NOT: StructWithPointerNonCopyableTriviallyMovableField
 // CHECK-NOT: StructNonCopyableNonMovable
-// CHECK-NOT: StructWithMoveConstructor
-// CHECK-NOT: StructWithInheritedMoveConstructor
-// CHECK-NOT: StructWithSubobjectMoveConstructor
 // CHECK-NOT: StructWithMoveAssignment
 // CHECK-NOT: StructWithInheritedMoveAssignment
 // CHECK-NOT: StructWithSubobjectMoveAssignment
@@ -24,6 +18,14 @@
 // CHECK-NOT: StructWithInheritedDeletedDestructor
 // CHECK-NOT: StructWithSubobjectDeletedDestructor
 
+// CHECK: struct StructWithMoveConstructor
+
+// CHECK: struct StructWithInheritedMoveConstructor
+
+// CHECK: struct StructWithSubobjectMoveConstructor
+
+// CHECK: struct StructNonCopyableTriviallyMovable
+
 // CHECK: struct Iterator {
 // CHECK: }
 

test/Interop/Cxx/stdlib/Inputs/module.modulemap

@@ -22,3 +22,8 @@ module StdPair {
   header "std-pair.h"
   requires cplusplus
 }
+
+module StdUniquePtr {
+  header "std-unique-ptr.h"
+  requires cplusplus
+}

test/Interop/Cxx/stdlib/Inputs/std-unique-ptr.h

@@ -0,0 +1,29 @@
+#ifndef TEST_INTEROP_CXX_STDLIB_INPUTS_STD_UNIQUE_PTR_H
+#define TEST_INTEROP_CXX_STDLIB_INPUTS_STD_UNIQUE_PTR_H
+
+#include <memory>
+
+std::unique_ptr<int> makeInt() {
+  return std::make_unique<int>(42);
+}
+
+std::unique_ptr<int[]> makeArray() {
+  int *array = new int[3];
+  array[0] = 1;
+  array[1] = 2;
+  array[2] = 3;
+  return std::unique_ptr<int[]>(array);
+}
+
+static bool dtorCalled = false;
+struct HasDtor {
+  ~HasDtor() {
+    dtorCalled = true;
+  }
+};
+
+std::unique_ptr<HasDtor> makeDtor() {
+  return std::make_unique<HasDtor>();
+}
+
+#endif // TEST_INTEROP_CXX_STDLIB_INPUTS_STD_UNIQUE_PTR_H

test/Interop/Cxx/stdlib/std-unique-ptr.swift

@@ -0,0 +1,40 @@
+// RUN: %target-run-simple-swift(-I %S/Inputs -Xfrontend -enable-experimental-cxx-interop)
+//
+// REQUIRES: executable_test
+
+import StdlibUnittest
+import StdUniquePtr
+#if os(Linux)
+import CxxStdlib
+// FIXME: import CxxStdlib.string once libstdc++ is split into submodules.
+#else
+import CxxStdlib.memory
+#endif
+
+var StdUniquePtrTestSuite = TestSuite("StdUniquePtr")
+
+StdUniquePtrTestSuite.test("int") {
+  let u = makeInt()
+  expectEqual(u.pointee, 42)
+}
+
+StdUniquePtrTestSuite.test("array") {
+  var u = makeArray()
+  expectEqual(u[0], 1)
+  expectEqual(u[1], 2)
+  expectEqual(u[2], 3)
+  u[0] = 10
+  expectEqual(u[0], 10)
+}
+
+StdUniquePtrTestSuite.test("custom dtor") {
+  expectEqual(dtorCalled, false)
+  let c = {
+    _ = makeDtor()
+  }
+  c()
+  expectEqual(dtorCalled, true)
+}
+
+runAllTests()
+