// test2<A>(_:_:)
sil hidden [noinline] @$S8refcount5test2ySbyXl_xtlF : $@convention(thin) <T> (@guaranteed AnyObject, @in_guaranteed T) -> Bool {
// %0                                             // users: %6, %4, %2
bb0(%0 : $AnyObject, %1 : $*T):
  debug_value %0 : $AnyObject, let, name "x", argno 1 // id: %2
  %3 = alloc_stack $AnyObject                     // users: %4, %15, %7
  store %0 to %3 : $*AnyObject                    // id: %4
  %5 = alloc_stack $T                             // users: %14, %9, %7

  // ===> This retain is a store strong into %3 which is needed b/c $AnyObject is coming in at +0 and we are casting at +1.
  strong_retain %0 : $AnyObject                   // id: %6
  // ===> This either destroys %3 /or/ performs a move of %3 into %5.
  checked_cast_addr_br take_always AnyObject in %3 : $*AnyObject to T in %5 : $*T, bb1, bb2 // id: %7

bb1:                                              // Preds: bb0
  // ===> This is the success case, so there is a live value in %5 that we need to destroy.
  %8 = integer_literal $Builtin.Int1, -1          // user: %10
  destroy_addr %5 : $*T                           // id: %9
  br bb3(%8 : $Builtin.Int1)                      // id: %10

bb2:                                              // Preds: bb0
  // ===> This is the failure case, so the cast destroyed the value for us.
  %11 = integer_literal $Builtin.Int1, 0          // user: %12
  br bb3(%11 : $Builtin.Int1)                     // id: %12

// %13                                            // user: %16
bb3(%13 : $Builtin.Int1):                         // Preds: bb2 bb1
  dealloc_stack %5 : $*T                          // id: %14
  dealloc_stack %3 : $*AnyObject                  // id: %15
  %16 = struct $Bool (%13 : $Builtin.Int1)        // user: %17
  return %16 : $Bool                              // id: %17
} // end sil function '$S8refcount5test2ySbyXl_xtlF'