set the stage for pending Copyable fixes

Author: kavon

test/Sema/copyable.swift

@@ -1,30 +1,10 @@
 // RUN: %target-typecheck-verify-swift
 
-protocol P: Copyable {} // expected-error {{'Copyable' is unavailable}}
-struct S: P {}
 
-typealias PleaseLetMeDoIt = Copyable // expected-error {{'Copyable' is unavailable}}
-typealias WhatIfIQualify = Swift.Copyable // expected-error {{'Copyable' is unavailable}}
-
-class C: Copyable {} // expected-error {{'Copyable' is unavailable}}
-
-@_moveOnly struct MOStruct: Copyable {}
-// expected-error@-1 {{move-only struct 'MOStruct' cannot conform to 'Copyable'}}
-// expected-error@-2 {{'Copyable' is unavailable}}
-
-
-func whatever<T>(_ t: T) where T: Copyable {} // expected-error {{'Copyable' is unavailable}}
-func vatever<T: Copyable>(_ t: T) {} // expected-error {{'Copyable' is unavailable}}
-func buttever(_ t: any Copyable) {} // expected-error {{'Copyable' is unavailable}}
-func zuttever(_ t: some Copyable) {} // expected-error 2{{'Copyable' is unavailable}}
-
-enum RockNRoll<T: Copyable> { // expected-error {{'Copyable' is unavailable}}
- case isNoisePollution(Copyable) // expected-error {{'Copyable' is unavailable}}
- case isMusic(T)
+struct AVX: Copyable, ~Copyable, Sendable { // expected-error {{move-only struct 'AVX' cannot conform to 'Copyable'}}
+  deinit {}
 }
 
-enum namespace {
-  typealias Copyable = Int
-
-  func Copyable() -> Copyable { return 0 }
+extension Copyable { // expected-error {{this should be illegal}}
+  func clone() -> Self { return self }
 }

test/Sema/copyable_module.swift

@@ -0,0 +1,30 @@
+// RUN: %empty-directory(%t)
+// RUN: %target-swift-emit-module-interface(%t/Library.swiftinterface) %s -module-name Library
+// RUN: %target-swift-typecheck-module-from-interface(%t/Library.swiftinterface) -I %t
+// RUN: %FileCheck %s < %t/Library.swiftinterface
+
+// CHECK: todo -- make sure Copyable doesn't show up in the module or its interface!
+
+public protocol P: Copyable {}
+public struct S: P {}
+
+public typealias PleaseLetMeDoIt = Copyable
+public typealias WhatIfIQualify = Swift.Copyable
+
+public class C: Swift.Copyable {}
+
+public func whatever<T>(_ t: T) where T: Copyable {}
+public func vatever<T: Copyable>(_ t: T) {}
+public func buttever(_ t: any Copyable) {}
+public func zuttever(_ t: some Copyable) {}
+
+public enum RockNRoll<T: Copyable> {
+ case isNoisePollution(Copyable)
+ case isMusic(T)
+}
+
+public enum namespace {
+  typealias Copyable = Int
+
+  func Copyable() -> Copyable { return 0 }
+}