fix: False positive diagnostic for necessary else

Author: ShoyuVanilla

crates/hir-ty/src/diagnostics/expr.rs

@@ -338,7 +338,13 @@ impl ExprValidator {
 
     fn check_for_unnecessary_else(&mut self, id: ExprId, expr: &Expr, body: &Body) {
         if let Expr::If { condition: _, then_branch, else_branch } = expr {
-            if else_branch.is_none() {
+            if let Some(else_branch) = else_branch {
+                // If else branch has a tail, it is an "expression" that produces a value,
+                // e.g. `let a = if { ... } else { ... };` and this `else` is not unnecessary
+                if let Expr::Block { tail: Some(_), .. } = body.exprs[*else_branch] {
+                    return;
+                }
+            } else {
                 return;
             }
             if let Expr::Block { statements, tail, .. } = &body.exprs[*then_branch] {

crates/ide-diagnostics/src/handlers/remove_unnecessary_else.rs

@@ -384,6 +384,29 @@ fn test() {
         return bar;
     }
 }
+"#,
+        );
+    }
+
+    #[test]
+    fn no_diagnostic_if_tail_exists_in_else_branch() {
+        check_diagnostics_with_needless_return_disabled(
+            r#"
+fn test1(a: bool) {
+    let _x = if a {
+        return;
+    } else {
+        1
+    };
+}
+
+fn test2(a: bool) -> i32 {
+    if a {
+        return 1;
+    } else {
+        0
+    }
+}
 "#,
         );
     }