From 86c183716cc6dfd44da15c86a7726d0a117c214e Mon Sep 17 00:00:00 2001
From: ivan770 <leshenko.ivan770@gmail.com>
Date: Wed, 9 Dec 2020 10:17:28 +0200
Subject: Apply suggestions from code review

Co-authored-by: bjorn3 <bjorn3@users.noreply.github.com>
---
 crates/hir_ty/src/diagnostics/expr.rs | 37 +++++++++++++++++++----------------
 1 file changed, 20 insertions(+), 17 deletions(-)

(limited to 'crates/hir_ty/src')

diff --git a/crates/hir_ty/src/diagnostics/expr.rs b/crates/hir_ty/src/diagnostics/expr.rs
index 98b3cade2..27ffcf291 100644
--- a/crates/hir_ty/src/diagnostics/expr.rs
+++ b/crates/hir_ty/src/diagnostics/expr.rs
@@ -77,13 +77,11 @@ impl<'a, 'b> ExprValidator<'a, 'b> {
             }
         }
         let body_expr = &body[body.body_expr];
-        if let Expr::Block { tail: Some(t), .. } = body_expr {
-            self.validate_results_in_tail_expr(body.body_expr, *t, db);
-        } else {
-            if let Expr::Block { statements, .. } = body_expr {
-                if let Some(Statement::Expr(id)) = statements.last() {
-                    self.validate_missing_tail_expr(body.body_expr, *id, db);
-                }
+        if let Expr::Block { statements, tail, .. } = body_expr {
+            if let Some(t) = tail {
+                self.validate_results_in_tail_expr(body.body_expr, *t, db);
+            } else if let Some(Statement::Expr(id)) = statements.last() {
+                self.validate_missing_tail_expr(body.body_expr, *id, db);
             }
         }
     }
@@ -336,17 +334,22 @@ impl<'a, 'b> ExprValidator<'a, 'b> {
             None => return,
         };
 
-        if let Some(possible_tail_ty) = self.infer.type_of_expr.get(possible_tail_id) {
-            if mismatch.actual == Ty::unit() && mismatch.expected == *possible_tail_ty {
-                let (_, source_map) = db.body_with_source_map(self.owner.into());
+        let possible_tail_ty = if let Some(possible_tail_ty) = self.infer.type_of_expr.get(possible_tail_id) {
+            possible_tail_ty
+        } else {
+            return;
+        };
 
-                if let Ok(source_ptr) = source_map.expr_syntax(possible_tail_id) {
-                    self.sink.push(RemoveThisSemicolon {
-                        file: source_ptr.file_id,
-                        expr: source_ptr.value,
-                    });
-                }
-            }
+        if mismatch.actual != Ty::unit() || mismatch.expected != *possible_tail_ty {
+            return;
+        }
+
+        let (_, source_map) = db.body_with_source_map(self.owner.into());
+        if let Ok(source_ptr) = source_map.expr_syntax(possible_tail_id) {
+            self.sink.push(RemoveThisSemicolon {
+                file: source_ptr.file_id,
+                expr: source_ptr.value,
+            });
         }
     }
 }
-- 
cgit v1.2.3