Disable clippy rule for manual_map

This commit is contained in:
Richard Feldman 2021-05-07 07:57:20 -04:00
parent 95da2a246d
commit ab8cc95c2b
3 changed files with 19 additions and 10 deletions

View file

@ -1,3 +1,5 @@
#![allow(clippy::manual_map)]
use crate::ir::{CallType, Expr, JoinPointId, Param, Stmt};
use crate::layout::Layout;
use bumpalo::collections::Vec;
@ -231,8 +233,10 @@ fn insert_jumps<'a>(
None
}
}
Refcounting(modify, cont) => insert_jumps(arena, cont, goal_id, needle)
.map(|cont| &*arena.alloc(Refcounting(*modify, cont))),
Refcounting(modify, cont) => match insert_jumps(arena, cont, goal_id, needle) {
Some(cont) => Some(arena.alloc(Refcounting(*modify, cont))),
None => None,
},
Rethrow => None,
Ret(_) => None,