[NoncopyableGenerics] more regression testing

Author: kavon

test/Generics/inverse_copyable_generics.swift

@@ -0,0 +1,31 @@
+// RUN: %target-typecheck-verify-swift -enable-experimental-feature NoncopyableGenerics
+
+// REQUIRES: asserts
+
+public struct Cond<T: ~Copyable>: ~Copyable {}
+extension Cond: Copyable where T: Copyable {} // expected-note {{requirement from conditional conformance}}
+
+public typealias AlwaysCopyable<T> = Cond<T>
+public typealias CondAlias<T> = Cond<T> where T: ~Copyable
+
+func checkCopyable<T>(_ t: T) {}
+
+func test<C, NC: ~Copyable>(_ a: Cond<C>, _ b: borrowing Cond<NC>) {
+  checkCopyable(a)
+  checkCopyable(b) // expected-error {{global function 'checkCopyable' requires that 'NC' conform to 'Copyable'}}
+}
+
+// FIXME: we should expect a warning/error that NC actually did require Copyable
+// despite the annotation due to the implied requirement!
+func checkAliases<C, NC: ~Copyable>(_ a: AlwaysCopyable<C>, _ b: AlwaysCopyable<NC>) {
+  checkCopyable(a)
+  checkCopyable(b)
+}
+
+protocol Removed: ~Copyable {
+  func requiresCopyableSelf(_ t: AlwaysCopyable<Self>)
+  // expected-error@-1 {{type 'Self' does not conform to protocol 'Copyable'}}
+}
+protocol Plain {
+  func requiresCopyableSelf(_ t: AlwaysCopyable<Self>)
+}

test/Generics/inverse_copyable_requirement.swift

@@ -279,15 +279,15 @@ struct GenerousGuy: Gives { // expected-error {{type 'GenerousGuy' does not conf
   func give() -> Ty {}
 }
 
-func doBadMetatypeStuff<T>(_ t: T) { // expected-note@:25 {{generic parameter 'T' has an implicit Copyable requirement}}
+func doBadMetatypeStuff<T>(_ t: T) {
   let y = t as! Any.Type
   if let MO_MetaType = y as? MO.Type { // expected-warning {{cast from 'any Any.Type' to unrelated type 'MO.Type' always fails}}
     let x = MO_MetaType.init()
     let _ = x
   }
 }
 func tryToDoBadMetatypeStuff() {
-  doBadMetatypeStuff(MO.self) // expected-error {{metatype 'MO.Type' of noncopyable type 'MO' cannot be substituted for copyable generic parameter 'T' in 'doBadMetatypeStuff'}}
+  doBadMetatypeStuff(MO.self)
 }
 
 func packingHeat<each T>(_ t: repeat each T) {} // expected-note {{generic parameter 'each T' has an implicit Copyable requirement}}

test/Generics/inverse_signatures.swift

@@ -1,4 +1,4 @@
-// RUN: %target-swift-frontend -enable-experimental-feature NoncopyableGenerics -typecheck %s -debug-generic-signatures 2>&1 | %FileCheck %s
+// RUN: %target-swift-frontend -enable-experimental-feature NoncopyableGenerics -verify -typecheck %s -debug-generic-signatures 2>&1 | %FileCheck %s --implicit-check-not "error:"
 
 // REQUIRES: asserts
 
@@ -8,7 +8,7 @@ func genericFn<T>(_ t: T) {}
 
 // CHECK-LABEL: .withInverse@
 // CHECK: Generic signature: <T>
-func withInverse<T: ~Copyable>(_ t: T) {}
+func withInverse<T: ~Copyable>(_ t: borrowing T) {}
 
 // CHECK-LABEL: .S1@
 // CHECK: Generic signature: <T where T : Copyable>