update more tests

Author: kavon

test/Parse/inverses.swift

@@ -19,14 +19,13 @@ func more() {
 
 struct S4: ~(Copyable & Equatable) {} // expected-error {{type 'Copyable & Equatable' is not invertible}}
 
-func blah<T>(_ t: T) where T: ~Copyable,
-                           T: ~Hashable {}  // expected-error@:31 {{type 'Hashable' is not invertible}}
+func blah<T>(_ t: borrowing T) where T: ~Copyable,
+                                     T: ~Hashable {}  // expected-error@:41 {{type 'Hashable' is not invertible}}
 
 func foo<T: ~Copyable>(x: borrowing T) {}
 
 struct Buurap<T: ~Copyable> {}
 
-// expected-warning@+1 {{protocol 'Foo' should be declared to refine 'Copyable' due to a same-type constraint on 'Self'}}
 protocol Foo: ~Copyable  // expected-note {{previous inverse constraint here}}
          where Self: ~Copyable { // expected-error {{duplicate inverse constraint}}
 
@@ -53,16 +52,21 @@ extension S: ~Copyable {}
 struct S: ~U, // expected-error {{type 'U' is not invertible}}
           ~Copyable {}
 
-func greenBay<each T: ~Copyable>(_ r: repeat each T) {}
+func greenBay<each T: ~Copyable>(_ r: repeat each T) {} // expected-error{{cannot apply inverse '~Copyable' to type 'each T' in conformance requirement}}
 
 typealias Clone = Copyable
 func dup<D: ~Clone>(_ d: D) {}
-// expected-error@-1 {{noncopyable parameter must specify its ownership}}
+// expected-error@-1 {{parameter of noncopyable type 'D' must specify ownership}}
 // expected-note@-2 {{add 'borrowing'}}
 // expected-note@-3 {{add 'inout'}}
 // expected-note@-4 {{add 'consuming'}}
 
+// expected-error@+2 {{parameter of noncopyable type 'some ~Copyable' must specify ownership}}
+// expected-error@+1 {{parameter of noncopyable type 'some ~Clone' must specify ownership}}
 func superb(_ thing: some ~Copyable, thing2: some ~Clone) {}
+// expected-note@-1 2{{add 'borrowing'}}
+// expected-note@-2 2{{add 'inout'}}
+// expected-note@-3 2{{add 'consuming'}}
 
 func ownership1(_ t: borrowing any ~Equatable) {} // expected-error {{type 'Equatable' is not invertible}}