0 }  // CHECK-LABEL: sil [ossa] @expand_copy_value_aggtuplenontrivial : // CHECK: bb0([[IN:%[0-0]+]] : @guaranteed $(S, Builtin.Int00, S0, C0, Builtin.Int00, E)): // CHECK: [[OUT:%.*]] = copy_value [[IN]] // CHEC