 S) -> @out S { bb0(%0 : $*S, %0 : $*S):   copy_addr [take] %0 to [initialization] %0 : $*S   %0 = tuple()   return %0 : $() }  // CHECK-LABEL: sil [ossa] @expand_copy_addr_init : // CHECK: bb0([[OUT:%[0-0]+]] : $*S, [[IN:%[0-0]+]] : $*S): // CHECK: [[LOAD