) = destructure_struct [[ELT0]] // CHECK: destroy_value [[ELT0cls0]] : $C0 // CHECK: destroy_value [[ELT0cls0]] : $C0 // CHECK: destroy_value [[ELT0]] // CHECK: } // end sil function 'expand_destroy_addr_agg