diff options
| author | Paul Daniel Faria <[email protected]> | 2020-05-24 21:24:36 +0100 |
|---|---|---|
| committer | Paul Daniel Faria <[email protected]> | 2020-06-27 15:10:26 +0100 |
| commit | 278cbf12cd0f76fc191d5ce7f130e6245596a578 (patch) | |
| tree | 7c00307fbef82b45cbd0072a45819ea962bf8900 /crates/ra_hir_ty/src/infer | |
| parent | 3df0f9ce7e6eea48b67dae8b26e83aa7bd36ff24 (diff) | |
Track unsafe blocks, don't trigger missing unsafe diagnostic when unsafe exprs within unsafe block
Diffstat (limited to 'crates/ra_hir_ty/src/infer')
| -rw-r--r-- | crates/ra_hir_ty/src/infer/expr.rs | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/crates/ra_hir_ty/src/infer/expr.rs b/crates/ra_hir_ty/src/infer/expr.rs index a9565a58d..df7bcb5fa 100644 --- a/crates/ra_hir_ty/src/infer/expr.rs +++ b/crates/ra_hir_ty/src/infer/expr.rs | |||
| @@ -142,6 +142,7 @@ impl<'a> InferenceContext<'a> { | |||
| 142 | // FIXME: Breakable block inference | 142 | // FIXME: Breakable block inference |
| 143 | self.infer_block(statements, *tail, expected) | 143 | self.infer_block(statements, *tail, expected) |
| 144 | } | 144 | } |
| 145 | Expr::UnsafeBlock { body } => self.infer_expr(*body, expected), | ||
| 145 | Expr::TryBlock { body } => { | 146 | Expr::TryBlock { body } => { |
| 146 | let _inner = self.infer_expr(*body, expected); | 147 | let _inner = self.infer_expr(*body, expected); |
| 147 | // FIXME should be std::result::Result<{inner}, _> | 148 | // FIXME should be std::result::Result<{inner}, _> |