add a bunch of hopeful tests

Author: kavon

test/ModuleInterface/Inputs/moveonly_api.swift

@@ -0,0 +1,47 @@
+
+// FIXME: make this test work when this enum is move-only
+public enum Descriptor {
+  case stdout
+  case stderr
+  case other(Int)
+
+  public func message() -> String { return "hello world" }
+}
+
+@_moveOnly
+public struct File {
+
+#if SYNTHESIZE_ACCESSORS
+  public var fd: Descriptor = .other(1337)
+#else
+  private var _fd: Descriptor = .other(1337)
+  public var fd: Descriptor {
+    _modify { yield &_fd }
+    _read { yield _fd }
+  }
+#endif
+
+  public init() {}
+}
+
+public class FileHandle {
+  #if SYNTHESIZE_ACCESSORS
+  public var file: File = File()
+  #else
+  private var _file: File = File()
+  public var file: File {
+    _modify { yield &_file }
+    _read { yield _file }
+  }
+  #endif
+
+  #if SYNTHESIZE_ACCESSORS
+  public let immutableFile: File = File()
+  #else
+  public var immutableFile: File {
+    return File() // still immutable, but now generated fresh each time!
+  }
+  #endif
+
+  public init() {}
+}

test/ModuleInterface/Inputs/moveonly_simple.swift

@@ -0,0 +1,13 @@
+
+public class Message { var s: String = "hello" }
+
+@_moveOnly
+public struct FileDescriptor {
+  public var x: Int = 0
+  public var msg: Message = Message()
+}
+
+public class FileHandle {
+  var file: FileDescriptor = FileDescriptor()
+}
+

test/ModuleInterface/moveonly_interface.swift

@@ -0,0 +1,9 @@
+// RUN: %empty-directory(%t)
+
+// FIXME: should work without syntize accessors too
+// RUN: %target-swift-frontend -DSYNTHESIZE_ACCESSORS -enable-library-evolution -module-name Hello -emit-module -o %t/Hello.swiftmodule -emit-module-interface-path %t/Hello.swiftinterface %S/Inputs/moveonly_simple.swift -enable-experimental-move-only
+
+// rdar://106164128
+// XFAIL: *
+
+// TODO: finish this test by verifying the interface with FileCheck

test/ModuleInterface/moveonly_user.swift

@@ -0,0 +1,25 @@
+// RUN: %empty-directory(%t)
+
+// >> first try when no library evolution is specified
+// RUN: %target-swift-frontend -DSYNTHESIZE_ACCESSORS -enable-experimental-move-only -emit-module -o %t/Hello.swiftmodule %S/Inputs/moveonly_api.swift
+// RUN: %target-swift-frontend -emit-sil -sil-verify-all -enable-experimental-move-only -I %t %s > /dev/null
+
+// >> now again with library evolution; we expect the same result.
+// FIXME: move checker doesn't like it when you specify library evolution
+// RUN: %target-swift-frontend -DSYNTHESIZE_ACCESSORS -enable-library-evolution -enable-experimental-move-only -emit-module -o %t/Hello.swiftmodule %S/Inputs/moveonly_api.swift
+// RUN: %target-swift-frontend -emit-sil -sil-verify-all -enable-experimental-move-only -I %t %s > /dev/null
+
+// FIXME: ideally this would also try executing the program rather than just generating SIL
+
+// FIXME: make this test work when we're not synthesizing the accessors
+
+// rdar://106164128
+// XFAIL: *
+
+import Hello
+
+func simpleTest() {
+  let handle = FileHandle()
+  let msg = handle.file.fd.message()
+  print(msg)
+}