Merge pull request #70765 from apple/egorzhdan/move-only-tests

[cxx-interop] More tests for move-only C++ types

Author: egorzhdan

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

@@ -44,3 +44,5 @@
 // CHECK:   func __getIteratorBoxUnsafe() -> IteratorBox
 // CHECK-SKIP-UNSAFE-NOT: func __getIteratorBoxUnsafe() -> IteratorBox
 // CHECK: }
+
+// CHECK: struct StructCopyableMovableAnnotatedNonCopyable

test/Interop/Cxx/class/type-classification-typechecker.swift

@@ -1,13 +1,25 @@
-// Test various aspects of the C++ `nodiscard` keyword.
-
 // RUN: %target-typecheck-verify-swift -I %S/Inputs -cxx-interoperability-mode=upcoming-swift
 
 import TypeClassification
 
 func test() {
+  let x = StructWithPointerNonCopyableTriviallyMovable()
+  let v = copy x // expected-error {{'copy' cannot be applied to noncopyable types}}
+  _ = v
+}
+
+func testField() {
+  let x = StructWithPointerNonCopyableTriviallyMovableField()
+  let v = copy x // expected-error {{'copy' cannot be applied to noncopyable types}}
+  _ = v
+}
+
+func testAnnotated() {
   let x = StructCopyableMovableAnnotatedNonCopyable()
   let v = copy x // expected-error {{'copy' cannot be applied to noncopyable types}}
   _ = v
 }
 
 test()
+testField()
+testAnnotated()