fn insert_clean_drop(body: &mut Body<'_>) -> BasicBlock