@@ -110,7 +110,7 @@ public struct A<T: ~Copyable>: ~Copyable {
110110 public func foo( ) { }
111111
112112 // DEMANGLED: test.A.weird() -> ()
113- // CHECK: sil [ossa] @$s4test1AV5weirdyyF : $@convention(method) <T> (@guaranteed A<T>) -> () {
113+ // CHECK: sil [ossa] @$s4test1AV5weirdyyF : $@convention(method) <T> (A<T>) -> () {
114114 public func weird( ) where T: Copyable { }
115115
116116 // DEMANGLED: variable initialization expression of (extension in test):test.A< where A: ~Swift.Copyable>.property : Swift.Int
@@ -155,7 +155,7 @@ extension A where T: ~Copyable {
155155 func bar( ) { }
156156
157157 // DEMANGLED: test.A.weird2() -> ()
158- // CHECK: sil hidden [ossa] @$s4test1AV6weird2yyF : $@convention(method) <T> (@guaranteed A<T>) -> () {
158+ // CHECK: sil hidden [ossa] @$s4test1AV6weird2yyF : $@convention(method) <T> (A<T>) -> () {
159159 func weird2( ) where T: Copyable { }
160160}
161161
@@ -172,11 +172,11 @@ extension A {
172172 // requirements must be mangled as if there were no inverse generics.
173173
174174 // DEMANGLED: test.A.baz() -> ()
175- // CHECK: sil hidden [ossa] @$s4test1AV3bazyyF : $@convention(method) <T> (@guaranteed A<T>) -> () {
175+ // CHECK: sil hidden [ossa] @$s4test1AV3bazyyF : $@convention(method) <T> (A<T>) -> () {
176176 func baz( ) { }
177177
178178 // DEMANGLED: test.A.computedAgain.getter : Swift.Int
179- // CHECK: sil hidden [ossa] @$s4test1AV13computedAgainSivg : $@convention(method) <T> (@guaranteed A<T>) -> Int {
179+ // CHECK: sil hidden [ossa] @$s4test1AV13computedAgainSivg : $@convention(method) <T> (A<T>) -> Int {
180180 var computedAgain : Int {
181181 123
182182 }
@@ -188,7 +188,7 @@ extension A where T: CopyableProto {
188188 // the extra constraints and not any inverses.
189189
190190 // DEMANGLED: (extension in test):test.A<A where A: test.CopyableProto>.something() -> ()
191- // CHECK: sil hidden [ossa] @$s4test1AVA2A13CopyableProtoRzlE9somethingyyF : $@convention(method) <T where T : CopyableProto> (@guaranteed A<T>) -> () {
191+ // CHECK: sil hidden [ossa] @$s4test1AVA2A13CopyableProtoRzlE9somethingyyF : $@convention(method) <T where T : CopyableProto> (A<T>) -> () {
192192 func something( ) { }
193193}
194194
0 commit comments