Function destination_flows_to_return 

pub fn destination_flows_to_return(
    tcx: TyCtxt<'_>,
    caller: DefId,
    destination: Option<Local>,
) -> bool