@@ -345,7 +345,7 @@ bb3(%res : $Builtin.Int32):
345
345
// CHECK: [[INCAST:%.*]] = unchecked_ref_cast %0 : $Optional<B> to $Optional<AAA>
346
346
// CHECK: [[INTUP:%.*]] = tuple ([[INCAST]] : $Optional<AAA>, %1 : $E)
347
347
// CHECK: ([[EXTR0:%.*]], [[EXTR1:%.*]]) = destructure_tuple [[INTUP]] : $(Optional<AAA>, E)
348
- // CHECK: switch_enum [[EXTR0]] : $Optional<AAA>, case #Optional.some!enumelt: bb1, default bb2
348
+ // CHECK: switch_enum [[EXTR0]] : $Optional<AAA>, case #Optional.some!enumelt: bb1, case #Optional.none!enumelt: bb2
349
349
// CHECK: bb1([[UNWRAP:%.*]] : @guaranteed $AAA):
350
350
// CHECK: [[ACAST:%.*]] = unchecked_ref_cast [[UNWRAP]] : $AAA to $B
351
351
// CHECK: [[SOME:%.*]] = enum $Optional<B>, #Optional.some!enumelt, [[ACAST]] : $B
@@ -382,7 +382,7 @@ bb2(%8 : @owned $Error):
382
382
// CHECK: [[INCAST:%.*]] = unchecked_ref_cast %0 : $Optional<B> to $Optional<AAA>
383
383
// CHECK: [[INTUP:%.*]] = tuple ([[INCAST]] : $Optional<AAA>, %1 : $E)
384
384
// CHECK: ([[EXTR0:%.*]], [[EXTR1:%.*]]) = destructure_tuple [[INTUP]] : $(Optional<AAA>, E)
385
- // CHECK: switch_enum [[EXTR0]] : $Optional<AAA>, case #Optional.some!enumelt: bb1, default bb2
385
+ // CHECK: switch_enum [[EXTR0]] : $Optional<AAA>, case #Optional.some!enumelt: bb1, case #Optional.none!enumelt: bb2
386
386
// CHECK: bb1([[UNWRAP:%.*]] : @owned $AAA):
387
387
// CHECK: [[ACAST:%.*]] = unchecked_ref_cast [[UNWRAP]] : $AAA to $B
388
388
// CHECK: [[SOME:%.*]] = enum $Optional<B>, #Optional.some!enumelt, [[ACAST]] : $B
0 commit comments