Function find_next_drop 

fn find_next_drop(
    body: &ExprBody,
    block_id: BlockId,
    dropped_place: &Place,
) -> Option<(BlockId, BlockId, BlockId)>