@@ -261,76 +261,77 @@ class ClassWithLoadableStructWithBiggerString {
261261}
262262
263263//===----------------------------------------------------------------------===//
264- // SR-8076
264+ // https://github.com/apple/swift/issues/50609
265265//===----------------------------------------------------------------------===//
266- public typealias sr8076_Filter = ( BigStruct ) -> Bool
267266
268- public protocol sr8076_Query {
267+ public typealias Filter = ( BigStruct ) -> Bool
268+
269+ public protocol Query {
269270 associatedtype Returned
270271}
271272
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 ? )
277278}
278279
279- public protocol sr8076_QueryHandler : sr8076_ProtoQueryHandler {
280- associatedtype Handled : sr8076_Query
280+ public protocol QueryHandler : ProtoQueryHandler {
281+ associatedtype Handled : Query
281282 func handle_1( query: Handled ) -> Void
282283 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 ? )
285286}
286287
287288
288- public extension sr8076_QueryHandler {
289+ public extension QueryHandler {
289290
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)
291292// CHECK: call swiftcc void {{.*}}(%swift.opaque* noalias nocapture {{.*}}, %swift.refcounted* swiftself {{.*}})
292293// CHECK: ret void
293- func forceHandle_1< Q: sr8076_Query > ( query: Q ) -> Void {
294+ func forceHandle_1< Q: Query > ( query: Q ) -> Void {
294295 guard let body = handle_1 as? ( Q ) -> Void else {
295296 fatalError ( " handler \( self ) is expected to handle query \( query) " )
296297 }
297298 body ( query)
298299 }
299300
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)
301302// CHECK: [[ALLOC:%.*]] = alloca %T22big_types_corner_cases9BigStructVSg
302303// CHECK: call swiftcc void {{.*}}(%T22big_types_corner_cases9BigStructVSg* noalias nocapture sret({{.*}}) [[ALLOC]], %swift.opaque* noalias nocapture {{.*}}, %swift.opaque* noalias nocapture {{.*}}, %swift.refcounted* swiftself {{.*}})
303304// 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 ? ) {
305306 guard let body = handle_2 as? ( Q ) -> ( Q . Returned , BigStruct ? ) else {
306307 fatalError ( " handler \( self ) is expected to handle query \( query) " )
307308 }
308309 return body ( query)
309310 }
310311
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)
312313// CHECK-64: {{.*}} = call swiftcc { i64, i64 } {{.*}}(%swift.opaque* noalias nocapture {{.*}}, %swift.opaque* noalias nocapture {{.*}}, %swift.refcounted* swiftself {{.*}})
313314// CHECK-64: ret { i64, i64 }
314315
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)
316317// CHECK-32: {{.*}} = call swiftcc { i32, i32 } {{.*}}(%swift.opaque* noalias nocapture {{.*}}, %swift.opaque* noalias nocapture {{.*}}, %swift.refcounted* swiftself {{.*}})
317318// 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 {
320321 fatalError ( " handler \( self ) is expected to handle query \( query) " )
321322 }
322323 return body ( query)
323324 }
324325
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)
326327// CHECK-64: {{.*}} = call swiftcc { i64, i64 } {{.*}}(%swift.opaque* noalias nocapture {{.*}}, %swift.opaque* noalias nocapture {{.*}}, %swift.refcounted* swiftself {{.*}}, %swift.error** noalias nocapture swifterror {{.*}})
327328// CHECK-64: ret { i64, i64 }
328329
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)
330331// CHECK-32: {{.*}} = call swiftcc { i32, i32 } {{.*}}(%swift.opaque* noalias nocapture {{.*}}, %swift.opaque* noalias nocapture {{.*}}, %swift.refcounted* swiftself {{.*}}, %swift.error** noalias nocapture {{.*}})
331332// 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 {
334335 fatalError ( " handler \( self ) is expected to handle query \( query) " )
335336 }
336337 return try body ( query)
0 commit comments