Merge #1752

1752: Always wrap blocks into block expressions r=flodiebold a=matklad

This way, things like function bodies are expressions, and we don't have to single them out

Co-authored-by: Aleksey Kladov <[email protected]>

8 files changed, 152 insertions, 141 deletions

diff --git a/crates/ra_syntax/test_data/parser/inline/err/0002_misplaced_label_err.txt b/crates/ra_syntax/test_data/parser/inline/err/0002_misplaced_label_err.txt
index 7abc49d5e..2950d77ef 100644
--- a/crates/ra_syntax/test_data/parser/inline/err/0002_misplaced_label_err.txt
+++ b/crates/ra_syntax/test_data/parser/inline/err/0002_misplaced_label_err.txt
@@ -8,19 +8,20 @@ SOURCE_FILE@[0; 30)
       L_PAREN@[7; 8) "("
       R_PAREN@[8; 9) ")"
     WHITESPACE@[9; 10) " "
-    BLOCK@[10; 29)
-      L_CURLY@[10; 11) "{"
-      WHITESPACE@[11; 16) "\n    "
-      EXPR_STMT@[16; 22)
-        ERROR@[16; 22)
-          LABEL@[16; 22)
-            LIFETIME@[16; 21) "\'loop"
-            COLON@[21; 22) ":"
-      WHITESPACE@[22; 23) " "
-      IMPL_BLOCK@[23; 27)
-        IMPL_KW@[23; 27) "impl"
-      WHITESPACE@[27; 28) "\n"
-      R_CURLY@[28; 29) "}"
+    BLOCK_EXPR@[10; 29)
+      BLOCK@[10; 29)
+        L_CURLY@[10; 11) "{"
+        WHITESPACE@[11; 16) "\n    "
+        EXPR_STMT@[16; 22)
+          ERROR@[16; 22)
+            LABEL@[16; 22)
+              LIFETIME@[16; 21) "\'loop"
+              COLON@[21; 22) ":"
+        WHITESPACE@[22; 23) " "
+        IMPL_BLOCK@[23; 27)
+          IMPL_KW@[23; 27) "impl"
+        WHITESPACE@[27; 28) "\n"
+        R_CURLY@[28; 29) "}"
   WHITESPACE@[29; 30) "\n"
 error 22: expected a loop
 error 22: expected SEMI
diff --git a/crates/ra_syntax/test_data/parser/inline/err/0006_unsafe_block_in_mod.txt b/crates/ra_syntax/test_data/parser/inline/err/0006_unsafe_block_in_mod.txt
index a1871ec08..f3fbc4828 100644
--- a/crates/ra_syntax/test_data/parser/inline/err/0006_unsafe_block_in_mod.txt
+++ b/crates/ra_syntax/test_data/parser/inline/err/0006_unsafe_block_in_mod.txt
@@ -7,9 +7,10 @@ SOURCE_FILE@[0; 33)
     PARAM_LIST@[6; 8)
       L_PAREN@[6; 7) "("
       R_PAREN@[7; 8) ")"
-    BLOCK@[8; 10)
-      L_CURLY@[8; 9) "{"
-      R_CURLY@[9; 10) "}"
+    BLOCK_EXPR@[8; 10)
+      BLOCK@[8; 10)
+        L_CURLY@[8; 9) "{"
+        R_CURLY@[9; 10) "}"
   WHITESPACE@[10; 11) " "
   ERROR@[11; 17)
     UNSAFE_KW@[11; 17) "unsafe"
@@ -27,9 +28,10 @@ SOURCE_FILE@[0; 33)
     PARAM_LIST@[28; 30)
       L_PAREN@[28; 29) "("
       R_PAREN@[29; 30) ")"
-    BLOCK@[30; 32)
-      L_CURLY@[30; 31) "{"
-      R_CURLY@[31; 32) "}"
+    BLOCK_EXPR@[30; 32)
+      BLOCK@[30; 32)
+        L_CURLY@[30; 31) "{"
+        R_CURLY@[31; 32) "}"
   WHITESPACE@[32; 33) "\n"
 error 11: expected an item
 error 18: expected an item
diff --git a/crates/ra_syntax/test_data/parser/inline/err/0007_async_without_semicolon.txt b/crates/ra_syntax/test_data/parser/inline/err/0007_async_without_semicolon.txt
index f70adc25d..5cfe766d7 100644
--- a/crates/ra_syntax/test_data/parser/inline/err/0007_async_without_semicolon.txt
+++ b/crates/ra_syntax/test_data/parser/inline/err/0007_async_without_semicolon.txt
@@ -8,24 +8,25 @@ SOURCE_FILE@[0; 30)
       L_PAREN@[6; 7) "("
       R_PAREN@[7; 8) ")"
     WHITESPACE@[8; 9) " "
-    BLOCK@[9; 29)
-      L_CURLY@[9; 10) "{"
-      WHITESPACE@[10; 11) " "
-      LET_STMT@[11; 27)
-        LET_KW@[11; 14) "let"
-        WHITESPACE@[14; 15) " "
-        PLACEHOLDER_PAT@[15; 16)
-          UNDERSCORE@[15; 16) "_"
-        WHITESPACE@[16; 17) " "
-        EQ@[17; 18) "="
-        WHITESPACE@[18; 19) " "
-        BLOCK_EXPR@[19; 27)
-          ASYNC_KW@[19; 24) "async"
-          WHITESPACE@[24; 25) " "
-          BLOCK@[25; 27)
-            L_CURLY@[25; 26) "{"
-            R_CURLY@[26; 27) "}"
-      WHITESPACE@[27; 28) " "
-      R_CURLY@[28; 29) "}"
+    BLOCK_EXPR@[9; 29)
+      BLOCK@[9; 29)
+        L_CURLY@[9; 10) "{"
+        WHITESPACE@[10; 11) " "
+        LET_STMT@[11; 27)
+          LET_KW@[11; 14) "let"
+          WHITESPACE@[14; 15) " "
+          PLACEHOLDER_PAT@[15; 16)
+            UNDERSCORE@[15; 16) "_"
+          WHITESPACE@[16; 17) " "
+          EQ@[17; 18) "="
+          WHITESPACE@[18; 19) " "
+          BLOCK_EXPR@[19; 27)
+            ASYNC_KW@[19; 24) "async"
+            WHITESPACE@[24; 25) " "
+            BLOCK@[25; 27)
+              L_CURLY@[25; 26) "{"
+              R_CURLY@[26; 27) "}"
+        WHITESPACE@[27; 28) " "
+        R_CURLY@[28; 29) "}"
   WHITESPACE@[29; 30) "\n"
 error 27: expected SEMI
diff --git a/crates/ra_syntax/test_data/parser/inline/err/0008_pub_expr.txt b/crates/ra_syntax/test_data/parser/inline/err/0008_pub_expr.txt
index 1dbfca698..0594f148f 100644
--- a/crates/ra_syntax/test_data/parser/inline/err/0008_pub_expr.txt
+++ b/crates/ra_syntax/test_data/parser/inline/err/0008_pub_expr.txt
@@ -8,18 +8,19 @@ SOURCE_FILE@[0; 21)
       L_PAREN@[6; 7) "("
       R_PAREN@[7; 8) ")"
     WHITESPACE@[8; 9) " "
-    BLOCK@[9; 20)
-      L_CURLY@[9; 10) "{"
-      WHITESPACE@[10; 11) " "
-      ERROR@[11; 14)
-        VISIBILITY@[11; 14)
-          PUB_KW@[11; 14) "pub"
-      WHITESPACE@[14; 15) " "
-      EXPR_STMT@[15; 18)
-        LITERAL@[15; 17)
-          INT_NUMBER@[15; 17) "92"
-        SEMI@[17; 18) ";"
-      WHITESPACE@[18; 19) " "
-      R_CURLY@[19; 20) "}"
+    BLOCK_EXPR@[9; 20)
+      BLOCK@[9; 20)
+        L_CURLY@[9; 10) "{"
+        WHITESPACE@[10; 11) " "
+        ERROR@[11; 14)
+          VISIBILITY@[11; 14)
+            PUB_KW@[11; 14) "pub"
+        WHITESPACE@[14; 15) " "
+        EXPR_STMT@[15; 18)
+          LITERAL@[15; 17)
+            INT_NUMBER@[15; 17) "92"
+          SEMI@[17; 18) ";"
+        WHITESPACE@[18; 19) " "
+        R_CURLY@[19; 20) "}"
   WHITESPACE@[20; 21) "\n"
 error 14: expected an item
diff --git a/crates/ra_syntax/test_data/parser/inline/err/0009_attr_on_expr_not_allowed.txt b/crates/ra_syntax/test_data/parser/inline/err/0009_attr_on_expr_not_allowed.txt
index 338776a72..eab9f5b91 100644
--- a/crates/ra_syntax/test_data/parser/inline/err/0009_attr_on_expr_not_allowed.txt
+++ b/crates/ra_syntax/test_data/parser/inline/err/0009_attr_on_expr_not_allowed.txt
@@ -8,48 +8,50 @@ SOURCE_FILE@[0; 48)
       L_PAREN@[6; 7) "("
       R_PAREN@[7; 8) ")"
     WHITESPACE@[8; 9) " "
-    BLOCK@[9; 47)
-      L_CURLY@[9; 10) "{"
-      WHITESPACE@[10; 14) "\n   "
-      EXPR_STMT@[14; 25)
-        ATTR@[14; 18)
-          POUND@[14; 15) "#"
-          TOKEN_TREE@[15; 18)
-            L_BRACK@[15; 16) "["
-            IDENT@[16; 17) "A"
-            R_BRACK@[17; 18) "]"
-        WHITESPACE@[18; 19) " "
-        BIN_EXPR@[19; 24)
-          LITERAL@[19; 20)
-            INT_NUMBER@[19; 20) "1"
-          WHITESPACE@[20; 21) " "
-          PLUS@[21; 22) "+"
-          WHITESPACE@[22; 23) " "
-          LITERAL@[23; 24)
-            INT_NUMBER@[23; 24) "2"
-        SEMI@[24; 25) ";"
-      WHITESPACE@[25; 29) "\n   "
-      EXPR_STMT@[29; 45)
-        ATTR@[29; 33)
-          POUND@[29; 30) "#"
-          TOKEN_TREE@[30; 33)
-            L_BRACK@[30; 31) "["
-            IDENT@[31; 32) "B"
-            R_BRACK@[32; 33) "]"
-        WHITESPACE@[33; 34) " "
-        IF_EXPR@[34; 44)
-          IF_KW@[34; 36) "if"
-          WHITESPACE@[36; 37) " "
-          CONDITION@[37; 41)
-            LITERAL@[37; 41)
-              TRUE_KW@[37; 41) "true"
-          WHITESPACE@[41; 42) " "
-          BLOCK@[42; 44)
-            L_CURLY@[42; 43) "{"
-            R_CURLY@[43; 44) "}"
-        SEMI@[44; 45) ";"
-      WHITESPACE@[45; 46) "\n"
-      R_CURLY@[46; 47) "}"
+    BLOCK_EXPR@[9; 47)
+      BLOCK@[9; 47)
+        L_CURLY@[9; 10) "{"
+        WHITESPACE@[10; 14) "\n   "
+        EXPR_STMT@[14; 25)
+          ATTR@[14; 18)
+            POUND@[14; 15) "#"
+            TOKEN_TREE@[15; 18)
+              L_BRACK@[15; 16) "["
+              IDENT@[16; 17) "A"
+              R_BRACK@[17; 18) "]"
+          WHITESPACE@[18; 19) " "
+          BIN_EXPR@[19; 24)
+            LITERAL@[19; 20)
+              INT_NUMBER@[19; 20) "1"
+            WHITESPACE@[20; 21) " "
+            PLUS@[21; 22) "+"
+            WHITESPACE@[22; 23) " "
+            LITERAL@[23; 24)
+              INT_NUMBER@[23; 24) "2"
+          SEMI@[24; 25) ";"
+        WHITESPACE@[25; 29) "\n   "
+        EXPR_STMT@[29; 45)
+          ATTR@[29; 33)
+            POUND@[29; 30) "#"
+            TOKEN_TREE@[30; 33)
+              L_BRACK@[30; 31) "["
+              IDENT@[31; 32) "B"
+              R_BRACK@[32; 33) "]"
+          WHITESPACE@[33; 34) " "
+          IF_EXPR@[34; 44)
+            IF_KW@[34; 36) "if"
+            WHITESPACE@[36; 37) " "
+            CONDITION@[37; 41)
+              LITERAL@[37; 41)
+                TRUE_KW@[37; 41) "true"
+            WHITESPACE@[41; 42) " "
+            BLOCK_EXPR@[42; 44)
+              BLOCK@[42; 44)
+                L_CURLY@[42; 43) "{"
+                R_CURLY@[43; 44) "}"
+          SEMI@[44; 45) ";"
+        WHITESPACE@[45; 46) "\n"
+        R_CURLY@[46; 47) "}"
   WHITESPACE@[47; 48) "\n"
 error 24: attributes are not allowed on BIN_EXPR
 error 44: attributes are not allowed on IF_EXPR
diff --git a/crates/ra_syntax/test_data/parser/inline/err/0010_bad_tuple_index_expr.txt b/crates/ra_syntax/test_data/parser/inline/err/0010_bad_tuple_index_expr.txt
index 465e79e7b..8ad2a588f 100644
--- a/crates/ra_syntax/test_data/parser/inline/err/0010_bad_tuple_index_expr.txt
+++ b/crates/ra_syntax/test_data/parser/inline/err/0010_bad_tuple_index_expr.txt
@@ -8,45 +8,46 @@ SOURCE_FILE@[0; 47)
       L_PAREN@[6; 7) "("
       R_PAREN@[7; 8) ")"
     WHITESPACE@[8; 9) " "
-    BLOCK@[9; 46)
-      L_CURLY@[9; 10) "{"
-      WHITESPACE@[10; 15) "\n    "
-      EXPR_STMT@[15; 20)
-        FIELD_EXPR@[15; 19)
-          PATH_EXPR@[15; 16)
-            PATH@[15; 16)
-              PATH_SEGMENT@[15; 16)
-                NAME_REF@[15; 16)
-                  IDENT@[15; 16) "x"
-          DOT@[16; 17) "."
-          FLOAT_NUMBER@[17; 19) "0."
-        SEMI@[19; 20) ";"
-      WHITESPACE@[20; 25) "\n    "
-      EXPR_STMT@[25; 32)
-        FIELD_EXPR@[25; 31)
-          PATH_EXPR@[25; 26)
-            PATH@[25; 26)
-              PATH_SEGMENT@[25; 26)
-                NAME_REF@[25; 26)
-                  IDENT@[25; 26) "x"
-          DOT@[26; 27) "."
-          NAME_REF@[27; 31)
-            INT_NUMBER@[27; 31) "1i32"
-        SEMI@[31; 32) ";"
-      WHITESPACE@[32; 37) "\n    "
-      EXPR_STMT@[37; 44)
-        FIELD_EXPR@[37; 43)
-          PATH_EXPR@[37; 38)
-            PATH@[37; 38)
-              PATH_SEGMENT@[37; 38)
-                NAME_REF@[37; 38)
-                  IDENT@[37; 38) "x"
-          DOT@[38; 39) "."
-          NAME_REF@[39; 43)
-            INT_NUMBER@[39; 43) "0x01"
-        SEMI@[43; 44) ";"
-      WHITESPACE@[44; 45) "\n"
-      R_CURLY@[45; 46) "}"
+    BLOCK_EXPR@[9; 46)
+      BLOCK@[9; 46)
+        L_CURLY@[9; 10) "{"
+        WHITESPACE@[10; 15) "\n    "
+        EXPR_STMT@[15; 20)
+          FIELD_EXPR@[15; 19)
+            PATH_EXPR@[15; 16)
+              PATH@[15; 16)
+                PATH_SEGMENT@[15; 16)
+                  NAME_REF@[15; 16)
+                    IDENT@[15; 16) "x"
+            DOT@[16; 17) "."
+            FLOAT_NUMBER@[17; 19) "0."
+          SEMI@[19; 20) ";"
+        WHITESPACE@[20; 25) "\n    "
+        EXPR_STMT@[25; 32)
+          FIELD_EXPR@[25; 31)
+            PATH_EXPR@[25; 26)
+              PATH@[25; 26)
+                PATH_SEGMENT@[25; 26)
+                  NAME_REF@[25; 26)
+                    IDENT@[25; 26) "x"
+            DOT@[26; 27) "."
+            NAME_REF@[27; 31)
+              INT_NUMBER@[27; 31) "1i32"
+          SEMI@[31; 32) ";"
+        WHITESPACE@[32; 37) "\n    "
+        EXPR_STMT@[37; 44)
+          FIELD_EXPR@[37; 43)
+            PATH_EXPR@[37; 38)
+              PATH@[37; 38)
+                PATH_SEGMENT@[37; 38)
+                  NAME_REF@[37; 38)
+                    IDENT@[37; 38) "x"
+            DOT@[38; 39) "."
+            NAME_REF@[39; 43)
+              INT_NUMBER@[39; 43) "0x01"
+          SEMI@[43; 44) ";"
+        WHITESPACE@[44; 45) "\n"
+        R_CURLY@[45; 46) "}"
   WHITESPACE@[46; 47) "\n"
 error [27; 31): Tuple (struct) field access is only allowed through decimal integers with no underscores or suffix
 error [39; 43): Tuple (struct) field access is only allowed through decimal integers with no underscores or suffix
diff --git a/crates/ra_syntax/test_data/parser/inline/err/0010_wrong_order_fns.txt b/crates/ra_syntax/test_data/parser/inline/err/0010_wrong_order_fns.txt
index b1ef210d3..2ea6a566d 100644
--- a/crates/ra_syntax/test_data/parser/inline/err/0010_wrong_order_fns.txt
+++ b/crates/ra_syntax/test_data/parser/inline/err/0010_wrong_order_fns.txt
@@ -13,9 +13,10 @@ SOURCE_FILE@[0; 50)
       L_PAREN@[19; 20) "("
       R_PAREN@[20; 21) ")"
     WHITESPACE@[21; 22) " "
-    BLOCK@[22; 24)
-      L_CURLY@[22; 23) "{"
-      R_CURLY@[23; 24) "}"
+    BLOCK_EXPR@[22; 24)
+      BLOCK@[22; 24)
+        L_CURLY@[22; 23) "{"
+        R_CURLY@[23; 24) "}"
   WHITESPACE@[24; 25) "\n"
   ERROR@[25; 31)
     UNSAFE_KW@[25; 31) "unsafe"
@@ -31,9 +32,10 @@ SOURCE_FILE@[0; 50)
       L_PAREN@[44; 45) "("
       R_PAREN@[45; 46) ")"
     WHITESPACE@[46; 47) " "
-    BLOCK@[47; 49)
-      L_CURLY@[47; 48) "{"
-      R_CURLY@[48; 49) "}"
+    BLOCK_EXPR@[47; 49)
+      BLOCK@[47; 49)
+        L_CURLY@[47; 48) "{"
+        R_CURLY@[48; 49) "}"
   WHITESPACE@[49; 50) "\n"
 error 5: expected existential, fn, trait or impl
 error 31: expected existential, fn, trait or impl
diff --git a/crates/ra_syntax/test_data/parser/inline/err/0014_default_fn_type.txt b/crates/ra_syntax/test_data/parser/inline/err/0014_default_fn_type.txt
index 7da4e243f..a1a0bd7c4 100644
--- a/crates/ra_syntax/test_data/parser/inline/err/0014_default_fn_type.txt
+++ b/crates/ra_syntax/test_data/parser/inline/err/0014_default_fn_type.txt
@@ -44,9 +44,10 @@ SOURCE_FILE@[0; 62)
           L_PAREN@[54; 55) "("
           R_PAREN@[55; 56) ")"
         WHITESPACE@[56; 57) " "
-        BLOCK@[57; 59)
-          L_CURLY@[57; 58) "{"
-          R_CURLY@[58; 59) "}"
+        BLOCK_EXPR@[57; 59)
+          BLOCK@[57; 59)
+            L_CURLY@[57; 58) "{"
+            R_CURLY@[58; 59) "}"
       WHITESPACE@[59; 60) "\n"
       R_CURLY@[60; 61) "}"
   WHITESPACE@[61; 62) "\n"