[TEST] enable the _Copyable constraint everywhere

Author: kavon

lib/Sema/ConstraintSystem.cpp

@@ -1806,7 +1806,8 @@ TypeVariableType *ConstraintSystem::openGenericParameter(
 
   // When move-only types are available, add a constraint to force generic
   // parameters to conform to a "Copyable" protocol.
-  if (getASTContext().LangOpts.hasFeature(Feature::MoveOnly)) {
+//  if (getASTContext().LangOpts.hasFeature(Feature::MoveOnly)) {
+  if (true) {
     ProtocolDecl *copyable = TypeChecker::getProtocol(
         getASTContext(), SourceLoc(), KnownProtocolKind::Copyable);
 

test/Constraints/construction.swift

@@ -59,7 +59,7 @@ acceptString("\(hello), \(world) #\(i)!")
 Optional<Int>(1) // expected-warning{{unused}}
 Optional(1) // expected-warning{{unused}}
 _ = .none as Optional<Int>
-Optional(.none) // expected-error {{cannot infer contextual base in reference to member 'none'}}
+Optional(.none) // expected-error {{type '_Copyable' has no member 'none'}}
 
 // Interpolation
 _ = "\(hello), \(world) #\(i)!"

test/Constraints/generics.swift

@@ -933,7 +933,7 @@ func rdar79757320() {
   }
 
   // FIXME: There has to be a way to propagate holes that makes it easy to suppress failures caused by missing members.
-  _ = Container(value: Value(42).formatted(.S(a: .a, b: .b(0)))) // expected-error {{type 'R_79757320' has no member 'S'}}
+  _ = Container(value: Value(42).formatted(.S(a: .a, b: .b(0)))) // expected-error {{reference to member 'S' cannot be resolved without a contextual type}}
   // expected-error@-1 {{cannot infer contextual base in reference to member 'a'}}
   // expected-error@-2 {{cannot infer contextual base in reference to member 'b'}}
 }

test/Constraints/members.swift

@@ -737,7 +737,7 @@ func rdar66891544() {
   func foo<T>(_: T, defaultT: T? = nil) {}
   func foo<U>(_: U, defaultU: U? = nil) {}
 
-  foo(.bar) // expected-error {{cannot infer contextual base in reference to member 'bar'}}
+  foo(.bar) // expected-error {{type '_Copyable' has no member 'bar'}}
 }
 
 // rdar://55369704 - extraneous diagnostics produced in combination with missing/misspelled members

test/Sema/diag_ambiguous_overloads.swift

@@ -29,7 +29,7 @@ struct S {
   func g<T>(_ a: T, _ b: Int) -> Void {}
   func g(_ a: String) -> Void {}
   func test2() -> Void {
-    g(.notAThing, 7) // expected-error {{cannot infer contextual base in reference to member 'notAThing'}}
+    g(.notAThing, 7) // expected-error {{type '_Copyable' has no member 'notAThing'}}
   }
 
   func h(_ a: Int, _ b: Int) -> Void {}