fn push_drop_through_move(
graph: &AliasGraph<'_>,
drop_record: &mut Vec<DropRecord>,
value_idx: usize,
drop_spot: LocalSpot,
)fn push_drop_through_move(
graph: &AliasGraph<'_>,
drop_record: &mut Vec<DropRecord>,
value_idx: usize,
drop_spot: LocalSpot,
)