@@ -52,14 +52,9 @@ func generic2<T>(_ t: T) -> ((Big<T>, Big<T>), () -> Big<T>) {
52
52
}
53
53
54
54
// CHECK-LABEL: sil hidden @$s17big_types_generic8useStuffyyF : $@convention(thin) () -> ()
55
- // CHECK: bb0:
56
- // CHECK: switch_enum_addr %{{.*}} : $*Optional<((Big<Int32>, Big<Int32>), @callee_guaranteed () -> @out Big<Int32>)>, case #Optional.some!enumelt.1: bb7, case #Optional.none!enumelt: bb1
57
- // CHECK: bb7:
58
- // CHECK: switch_enum_addr %{{.*}} : $*Optional<((Big<Int32>, Big<Int32>), @callee_guaranteed () -> @out Big<Int32>)>, case #Optional.some!enumelt.1: bb14, case #Optional.none!enumelt: bb8
59
- // CHECK: bb14:
60
- // CHECK: bb17(%{{.*}} : $Optional<((Big<Int>, Big<Int>), @callee_guaranteed () -> @out Big<Int>)>):
61
- // CHECK: switch_enum %{{.*}} : $Optional<((Big<Int>, Big<Int>), @callee_guaranteed () -> @out Big<Int>)>, case #Optional.some!enumelt.1: bb24, case #Optional.none!enumelt: bb18
62
- // CHECK: bb24(%{{.*}} : $((Big<Int>, Big<Int>), @callee_guaranteed () -> @out Big<Int>)):
55
+ // CHECK: switch_enum_addr %{{.*}} : $*Optional<((Big<Int32>, Big<Int32>), @callee_guaranteed () -> @out Big<Int32>)>, case #Optional.some!enumelt.1
56
+ // CHECK: switch_enum_addr %{{.*}} : $*Optional<((Big<Int32>, Big<Int32>), @callee_guaranteed () -> @out Big<Int32>)>, case #Optional.some!enumelt.1
57
+ // CHECK: switch_enum %{{.*}} : $Optional<((Big<Int>, Big<Int>), @callee_guaranteed () -> @out Big<Int>)>, case #Optional.some!enumelt.1
63
58
// CHECK: return %{{.*}} : $()
64
59
// CHECK-LABEL: } // end sil function '$s17big_types_generic8useStuffyyF'
65
60
func useStuff( ) {
0 commit comments