Skip to content

Commit bb87e02

Browse files
committed
Fix mangling tests after fixing AbstractionPattern::isNonCopyable.
(cherry picked from commit 9bd9218)
1 parent 22b603b commit bb87e02

File tree

1 file changed

+5
-5
lines changed

1 file changed

+5
-5
lines changed

test/SILGen/mangling_inverse_generics.swift

Lines changed: 5 additions & 5 deletions
Original file line numberDiff line numberDiff line change
@@ -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

Comments
 (0)