   // CHECK:         [[DEST_PAYLOAD:%.*]] = init_enum_data_addr %0 : $*Optional<AddressOnlyStruct>, #Optional.Some
   // CHECK:         copy_addr [[SELF_MARKED]] to [initialization] [[DEST_PAYLOAD]]
   // CHECK:         inject_enum_addr %0 : $*Optional<AddressOnlyStruct>, #Optional.Some
+  // CHECK:         strong_release [[SELF_BOX]]
   // CHECK:         br [[EXIT:bb[0-9]+]]
 
   // CHECK:       [[FAILURE]]:
+  // CHECK:         strong_release [[SELF_BOX]]
   // CHECK:         inject_enum_addr %0 : $*Optional<AddressOnlyStruct>, #Optional.None!enumelt
   // CHECK:         br [[EXIT]]
   // CHECK:       [[EXIT]]:

  // CHECK:         assign [[DELEGATEE_SELF_VAL]] to [[SELF_MARKED]]
  // CHECK:         dealloc_stack [[TMP]]
  // CHECK:         dealloc_stack [[DELEGATEE_SELF_MAT]]
  // CHECK:       [[FAILURE]]:
  // CHECK:         [[NIL:%.*]] = enum $Optional<LoadableStruct>, #Optional.None
  // CHECK:         br [[EXIT:bb.*]]([[NIL]] : $Optional<LoadableStruct>)
    self.init(opt: true)

    x = C()

  // CHECK:       bb{{.*}}:
  // CHECK:         br [[FAILURE:bb[0-9]+]]
    if iuo {
      return nil
