@@ -261,76 +261,77 @@ class ClassWithLoadableStructWithBiggerString {
261
261
}
262
262
263
263
//===----------------------------------------------------------------------===//
264
- // SR-8076
264
+ // https://github.com/apple/swift/issues/50609
265
265
//===----------------------------------------------------------------------===//
266
- public typealias sr8076_Filter = ( BigStruct ) -> Bool
267
266
268
- public protocol sr8076_Query {
267
+ public typealias Filter = ( BigStruct ) -> Bool
268
+
269
+ public protocol Query {
269
270
associatedtype Returned
270
271
}
271
272
272
- public protocol sr8076_ProtoQueryHandler {
273
- func forceHandle_1< Q: sr8076_Query > ( query: Q ) -> Void
274
- func forceHandle_2< Q: sr8076_Query > ( query: Q ) -> ( Q . Returned , BigStruct ? )
275
- func forceHandle_3< Q: sr8076_Query > ( query: Q ) -> ( Q . Returned , sr8076_Filter ? )
276
- func forceHandle_4< Q: sr8076_Query > ( query: Q ) throws -> ( Q . Returned , sr8076_Filter ? )
273
+ public protocol ProtoQueryHandler {
274
+ func forceHandle_1< Q: Query > ( query: Q ) -> Void
275
+ func forceHandle_2< Q: Query > ( query: Q ) -> ( Q . Returned , BigStruct ? )
276
+ func forceHandle_3< Q: Query > ( query: Q ) -> ( Q . Returned , Filter ? )
277
+ func forceHandle_4< Q: Query > ( query: Q ) throws -> ( Q . Returned , Filter ? )
277
278
}
278
279
279
- public protocol sr8076_QueryHandler : sr8076_ProtoQueryHandler {
280
- associatedtype Handled : sr8076_Query
280
+ public protocol QueryHandler : ProtoQueryHandler {
281
+ associatedtype Handled : Query
281
282
func handle_1( query: Handled ) -> Void
282
283
func handle_2( query: Handled ) -> ( Handled . Returned , BigStruct ? )
283
- func handle_3( query: Handled ) -> ( Handled . Returned , sr8076_Filter ? )
284
- func handle_4( query: Handled ) throws -> ( Handled . Returned , sr8076_Filter ? )
284
+ func handle_3( query: Handled ) -> ( Handled . Returned , Filter ? )
285
+ func handle_4( query: Handled ) throws -> ( Handled . Returned , Filter ? )
285
286
}
286
287
287
288
288
- public extension sr8076_QueryHandler {
289
+ public extension QueryHandler {
289
290
290
- // CHECK-LABEL: define{{( dllexport)?}}{{( protected)?}} swiftcc void @"$s22big_types_corner_cases19sr8076_QueryHandlerPAAE13forceHandle_15queryyqd___tAA0e1_F0Rd__lF "(%swift.opaque* noalias nocapture %0, %swift.type*{{.*}}, %swift.type*{{.*}}, i8** {{.*}}.sr8076_QueryHandler , i8** {{.*}}.sr8076_Query , %swift.opaque* noalias nocapture swiftself %1)
291
+ // CHECK-LABEL: define{{( dllexport)?}}{{( protected)?}} swiftcc void @"$s22big_types_corner_cases12QueryHandlerPAAE13forceHandle_15queryyqd___tAA0E0Rd__lF "(%swift.opaque* noalias nocapture %0, %swift.type*{{.*}}, %swift.type*{{.*}}, i8** {{.*}}.QueryHandler , i8** {{.*}}.Query , %swift.opaque* noalias nocapture swiftself %1)
291
292
// CHECK: call swiftcc void {{.*}}(%swift.opaque* noalias nocapture {{.*}}, %swift.refcounted* swiftself {{.*}})
292
293
// CHECK: ret void
293
- func forceHandle_1< Q: sr8076_Query > ( query: Q ) -> Void {
294
+ func forceHandle_1< Q: Query > ( query: Q ) -> Void {
294
295
guard let body = handle_1 as? ( Q ) -> Void else {
295
296
fatalError ( " handler \( self ) is expected to handle query \( query) " )
296
297
}
297
298
body ( query)
298
299
}
299
300
300
- // CHECK-LABEL: define{{( dllexport)?}}{{( protected)?}} swiftcc void @"$s22big_types_corner_cases19sr8076_QueryHandlerPAAE13forceHandle_25query8ReturnedQyd___AA9BigStructVSgtqd___tAA0e1_F0Rd__lF "(%T22big_types_corner_cases9BigStructVSg* noalias nocapture sret({{.*}}) %0, %swift.opaque* noalias nocapture %1, %swift.opaque* noalias nocapture %2, %swift.type*{{.*}}, %swift.type*{{.*}}, i8** {{.*}}.sr8076_QueryHandler , i8** {{.*}}.sr8076_Query , %swift.opaque* noalias nocapture swiftself %3)
301
+ // CHECK-LABEL: define{{( dllexport)?}}{{( protected)?}} swiftcc void @"$s22big_types_corner_cases12QueryHandlerPAAE13forceHandle_25query8ReturnedQyd___AA9BigStructVSgtqd___tAA0E0Rd__lF "(%T22big_types_corner_cases9BigStructVSg* noalias nocapture sret({{.*}}) %0, %swift.opaque* noalias nocapture %1, %swift.opaque* noalias nocapture %2, %swift.type*{{.*}}, %swift.type*{{.*}}, i8** {{.*}}.QueryHandler , i8** {{.*}}.Query , %swift.opaque* noalias nocapture swiftself %3)
301
302
// CHECK: [[ALLOC:%.*]] = alloca %T22big_types_corner_cases9BigStructVSg
302
303
// CHECK: call swiftcc void {{.*}}(%T22big_types_corner_cases9BigStructVSg* noalias nocapture sret({{.*}}) [[ALLOC]], %swift.opaque* noalias nocapture {{.*}}, %swift.opaque* noalias nocapture {{.*}}, %swift.refcounted* swiftself {{.*}})
303
304
// CHECK: ret void
304
- func forceHandle_2< Q: sr8076_Query > ( query: Q ) -> ( Q . Returned , BigStruct ? ) {
305
+ func forceHandle_2< Q: Query > ( query: Q ) -> ( Q . Returned , BigStruct ? ) {
305
306
guard let body = handle_2 as? ( Q ) -> ( Q . Returned , BigStruct ? ) else {
306
307
fatalError ( " handler \( self ) is expected to handle query \( query) " )
307
308
}
308
309
return body ( query)
309
310
}
310
311
311
- // CHECK-LABEL-64: define{{( dllexport)?}}{{( protected)?}} swiftcc { i64, i64 } @"$s22big_types_corner_cases19sr8076_QueryHandlerPAAE13forceHandle_35query8ReturnedQyd___SbAA9BigStructVcSgtqd___tAA0e1_F0Rd__lF "(%swift.opaque* noalias nocapture %0, %swift.opaque* noalias nocapture %1, %swift.type*{{.*}}, %swift.type*{{.*}}, i8** {{.*}}.sr8076_QueryHandler , i8** {{.*}}.sr8076_Query , %swift.opaque* noalias nocapture swiftself %2)
312
+ // CHECK-LABEL-64: define{{( dllexport)?}}{{( protected)?}} swiftcc { i64, i64 } @"$s22big_types_corner_cases12QueryHandlerPAAE13forceHandle_35query8ReturnedQyd___SbAA9BigStructVcSgtqd___tAA0E0Rd__lF "(%swift.opaque* noalias nocapture %0, %swift.opaque* noalias nocapture %1, %swift.type*{{.*}}, %swift.type*{{.*}}, i8** {{.*}}.QueryHandler , i8** {{.*}}.Query , %swift.opaque* noalias nocapture swiftself %2)
312
313
// CHECK-64: {{.*}} = call swiftcc { i64, i64 } {{.*}}(%swift.opaque* noalias nocapture {{.*}}, %swift.opaque* noalias nocapture {{.*}}, %swift.refcounted* swiftself {{.*}})
313
314
// CHECK-64: ret { i64, i64 }
314
315
315
- // CHECK-LABEL-32: define{{( dllexport)?}}{{( protected)?}} swiftcc { i32, i32} @"$s22big_types_corner_cases19sr8076_QueryHandlerPAAE13forceHandle_35query8ReturnedQyd___SbAA9BigStructVcSgtqd___tAA0e1_F0Rd__lF "(%swift.opaque* noalias nocapture %0, %swift.opaque* noalias nocapture %1, %swift.type*{{.*}}, %swift.type*{{.*}}, i8** {{.*}}.sr8076_QueryHandler , i8** {{.*}}.sr8076_Query , %swift.opaque* noalias nocapture swiftself %2)
316
+ // CHECK-LABEL-32: define{{( dllexport)?}}{{( protected)?}} swiftcc { i32, i32} @"$s22big_types_corner_cases12QueryHandlerPAAE13forceHandle_35query8ReturnedQyd___SbAA9BigStructVcSgtqd___tAA0E0Rd__lF "(%swift.opaque* noalias nocapture %0, %swift.opaque* noalias nocapture %1, %swift.type*{{.*}}, %swift.type*{{.*}}, i8** {{.*}}.QueryHandler , i8** {{.*}}.Query , %swift.opaque* noalias nocapture swiftself %2)
316
317
// CHECK-32: {{.*}} = call swiftcc { i32, i32 } {{.*}}(%swift.opaque* noalias nocapture {{.*}}, %swift.opaque* noalias nocapture {{.*}}, %swift.refcounted* swiftself {{.*}})
317
318
// CHECK-32: ret { i32, i32 }
318
- func forceHandle_3< Q: sr8076_Query > ( query: Q ) -> ( Q . Returned , sr8076_Filter ? ) {
319
- guard let body = handle_3 as? ( Q ) -> ( Q . Returned , sr8076_Filter ? ) else {
319
+ func forceHandle_3< Q: Query > ( query: Q ) -> ( Q . Returned , Filter ? ) {
320
+ guard let body = handle_3 as? ( Q ) -> ( Q . Returned , Filter ? ) else {
320
321
fatalError ( " handler \( self ) is expected to handle query \( query) " )
321
322
}
322
323
return body ( query)
323
324
}
324
325
325
- // CHECK-LABEL-64: define{{( dllexport)?}}{{( protected)?}} swiftcc { i64, i64 } @"$s22big_types_corner_cases19sr8076_QueryHandlerPAAE13forceHandle_45query8ReturnedQyd___SbAA9BigStructVcSgtqd___tKAA0e1_F0Rd__lF "(%swift.opaque* noalias nocapture %0, %swift.opaque* noalias nocapture %1, %swift.type*{{.*}}, %swift.type*{{.*}}, i8** {{.*}}.sr8076_QueryHandler , i8** {{.*}}.sr8076_Query , %swift.opaque* noalias nocapture swiftself %2, %swift.error** swifterror %3)
326
+ // CHECK-LABEL-64: define{{( dllexport)?}}{{( protected)?}} swiftcc { i64, i64 } @"$s22big_types_corner_cases12QueryHandlerPAAE13forceHandle_45query8ReturnedQyd___SbAA9BigStructVcSgtqd___tKAA0E0Rd__lF "(%swift.opaque* noalias nocapture %0, %swift.opaque* noalias nocapture %1, %swift.type*{{.*}}, %swift.type*{{.*}}, i8** {{.*}}.QueryHandler , i8** {{.*}}.Query , %swift.opaque* noalias nocapture swiftself %2, %swift.error** swifterror %3)
326
327
// CHECK-64: {{.*}} = call swiftcc { i64, i64 } {{.*}}(%swift.opaque* noalias nocapture {{.*}}, %swift.opaque* noalias nocapture {{.*}}, %swift.refcounted* swiftself {{.*}}, %swift.error** noalias nocapture swifterror {{.*}})
327
328
// CHECK-64: ret { i64, i64 }
328
329
329
- // CHECK-LABEL-32: define{{( dllexport)?}}{{( protected)?}} swiftcc { i32, i32} @"$s22big_types_corner_cases19sr8076_QueryHandlerPAAE13forceHandle_45query8ReturnedQyd___SbAA9BigStructVcSgtqd___tKAA0e1_F0Rd__lF "(%swift.opaque* noalias nocapture %0, %swift.opaque* noalias nocapture %1, %swift.type*{{.*}}, %swift.type*{{.*}}, i8** {{.*}}.sr8076_QueryHandler , i8** {{.*}}.sr8076_Query , %swift.opaque* noalias nocapture swiftself %2, %swift.error** swifterror %3)
330
+ // CHECK-LABEL-32: define{{( dllexport)?}}{{( protected)?}} swiftcc { i32, i32} @"$s22big_types_corner_cases12QueryHandlerPAAE13forceHandle_45query8ReturnedQyd___SbAA9BigStructVcSgtqd___tKAA0E0Rd__lF "(%swift.opaque* noalias nocapture %0, %swift.opaque* noalias nocapture %1, %swift.type*{{.*}}, %swift.type*{{.*}}, i8** {{.*}}.QueryHandler , i8** {{.*}}.Query , %swift.opaque* noalias nocapture swiftself %2, %swift.error** swifterror %3)
330
331
// CHECK-32: {{.*}} = call swiftcc { i32, i32 } {{.*}}(%swift.opaque* noalias nocapture {{.*}}, %swift.opaque* noalias nocapture {{.*}}, %swift.refcounted* swiftself {{.*}}, %swift.error** noalias nocapture {{.*}})
331
332
// CHECK-32: ret { i32, i32 }
332
- func forceHandle_4< Q: sr8076_Query > ( query: Q ) throws -> ( Q . Returned , sr8076_Filter ? ) {
333
- guard let body = handle_4 as? ( Q ) throws -> ( Q . Returned , sr8076_Filter ? ) else {
333
+ func forceHandle_4< Q: Query > ( query: Q ) throws -> ( Q . Returned , Filter ? ) {
334
+ guard let body = handle_4 as? ( Q ) throws -> ( Q . Returned , Filter ? ) else {
334
335
fatalError ( " handler \( self ) is expected to handle query \( query) " )
335
336
}
336
337
return try body ( query)
0 commit comments