diff options
author | Paul Daniel Faria <[email protected]> | 2020-06-27 17:00:46 +0100 |
---|---|---|
committer | Paul Daniel Faria <[email protected]> | 2020-06-27 17:00:46 +0100 |
commit | 68a649d547c844cb44ee619b7f45d1193dad2b02 (patch) | |
tree | c5da78ae4eff38e88a7dace20a5dcbd913b6224a /crates | |
parent | b7e25ba854a5ca0f1dee7082c113170876358632 (diff) |
Simplify unsafe expr collection match
Diffstat (limited to 'crates')
-rw-r--r-- | crates/ra_hir_ty/src/unsafe_validation.rs | 7 |
1 files changed, 3 insertions, 4 deletions
diff --git a/crates/ra_hir_ty/src/unsafe_validation.rs b/crates/ra_hir_ty/src/unsafe_validation.rs index aad13d99c..c512c4f8e 100644 --- a/crates/ra_hir_ty/src/unsafe_validation.rs +++ b/crates/ra_hir_ty/src/unsafe_validation.rs | |||
@@ -108,13 +108,12 @@ fn walk_unsafe( | |||
108 | unsafe_exprs.push(UnsafeExpr { expr: current, inside_unsafe_block }); | 108 | unsafe_exprs.push(UnsafeExpr { expr: current, inside_unsafe_block }); |
109 | } | 109 | } |
110 | } | 110 | } |
111 | Expr::Unsafe { body: child } => { | ||
112 | return walk_unsafe(unsafe_exprs, db, infer, body, *child, true); | ||
113 | } | ||
111 | _ => {} | 114 | _ => {} |
112 | } | 115 | } |
113 | 116 | ||
114 | if let &Expr::Unsafe { body: child } = expr { | ||
115 | return walk_unsafe(unsafe_exprs, db, infer, body, child, true); | ||
116 | } | ||
117 | |||
118 | expr.walk_child_exprs(|child| { | 117 | expr.walk_child_exprs(|child| { |
119 | walk_unsafe(unsafe_exprs, db, infer, body, child, inside_unsafe_block); | 118 | walk_unsafe(unsafe_exprs, db, infer, body, child, inside_unsafe_block); |
120 | }); | 119 | }); |