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]>

1 files changed, 49 insertions, 45 deletions

diff --git a/crates/ra_syntax/test_data/parser/inline/ok/0075_block.txt b/crates/ra_syntax/test_data/parser/inline/ok/0075_block.txt
index 36983590f..28d1bad97 100644
--- a/crates/ra_syntax/test_data/parser/inline/ok/0075_block.txt
+++ b/crates/ra_syntax/test_data/parser/inline/ok/0075_block.txt
@@ -8,9 +8,10 @@ SOURCE_FILE@[0; 65)
       L_PAREN@[4; 5) "("
       R_PAREN@[5; 6) ")"
     WHITESPACE@[6; 7) " "
-    BLOCK@[7; 9)
-      L_CURLY@[7; 8) "{"
-      R_CURLY@[8; 9) "}"
+    BLOCK_EXPR@[7; 9)
+      BLOCK@[7; 9)
+        L_CURLY@[7; 8) "{"
+        R_CURLY@[8; 9) "}"
   WHITESPACE@[9; 10) "\n"
   FN_DEF@[10; 31)
     FN_KW@[10; 12) "fn"
@@ -21,22 +22,23 @@ SOURCE_FILE@[0; 65)
       L_PAREN@[14; 15) "("
       R_PAREN@[15; 16) ")"
     WHITESPACE@[16; 17) " "
-    BLOCK@[17; 31)
-      L_CURLY@[17; 18) "{"
-      WHITESPACE@[18; 19) " "
-      LET_STMT@[19; 29)
-        LET_KW@[19; 22) "let"
-        WHITESPACE@[22; 23) " "
-        PLACEHOLDER_PAT@[23; 24)
-          UNDERSCORE@[23; 24) "_"
-        WHITESPACE@[24; 25) " "
-        EQ@[25; 26) "="
-        WHITESPACE@[26; 27) " "
-        LITERAL@[27; 28)
-          INT_NUMBER@[27; 28) "1"
-        SEMI@[28; 29) ";"
-      WHITESPACE@[29; 30) " "
-      R_CURLY@[30; 31) "}"
+    BLOCK_EXPR@[17; 31)
+      BLOCK@[17; 31)
+        L_CURLY@[17; 18) "{"
+        WHITESPACE@[18; 19) " "
+        LET_STMT@[19; 29)
+          LET_KW@[19; 22) "let"
+          WHITESPACE@[22; 23) " "
+          PLACEHOLDER_PAT@[23; 24)
+            UNDERSCORE@[23; 24) "_"
+          WHITESPACE@[24; 25) " "
+          EQ@[25; 26) "="
+          WHITESPACE@[26; 27) " "
+          LITERAL@[27; 28)
+            INT_NUMBER@[27; 28) "1"
+          SEMI@[28; 29) ";"
+        WHITESPACE@[29; 30) " "
+        R_CURLY@[30; 31) "}"
   WHITESPACE@[31; 32) "\n"
   FN_DEF@[32; 48)
     FN_KW@[32; 34) "fn"
@@ -47,20 +49,21 @@ SOURCE_FILE@[0; 65)
       L_PAREN@[36; 37) "("
       R_PAREN@[37; 38) ")"
     WHITESPACE@[38; 39) " "
-    BLOCK@[39; 48)
-      L_CURLY@[39; 40) "{"
-      WHITESPACE@[40; 41) " "
-      EXPR_STMT@[41; 43)
-        LITERAL@[41; 42)
-          INT_NUMBER@[41; 42) "1"
-        SEMI@[42; 43) ";"
-      WHITESPACE@[43; 44) " "
-      EXPR_STMT@[44; 46)
-        LITERAL@[44; 45)
-          INT_NUMBER@[44; 45) "2"
-        SEMI@[45; 46) ";"
-      WHITESPACE@[46; 47) " "
-      R_CURLY@[47; 48) "}"
+    BLOCK_EXPR@[39; 48)
+      BLOCK@[39; 48)
+        L_CURLY@[39; 40) "{"
+        WHITESPACE@[40; 41) " "
+        EXPR_STMT@[41; 43)
+          LITERAL@[41; 42)
+            INT_NUMBER@[41; 42) "1"
+          SEMI@[42; 43) ";"
+        WHITESPACE@[43; 44) " "
+        EXPR_STMT@[44; 46)
+          LITERAL@[44; 45)
+            INT_NUMBER@[44; 45) "2"
+          SEMI@[45; 46) ";"
+        WHITESPACE@[46; 47) " "
+        R_CURLY@[47; 48) "}"
   WHITESPACE@[48; 49) "\n"
   FN_DEF@[49; 64)
     FN_KW@[49; 51) "fn"
@@ -71,16 +74,17 @@ SOURCE_FILE@[0; 65)
       L_PAREN@[53; 54) "("
       R_PAREN@[54; 55) ")"
     WHITESPACE@[55; 56) " "
-    BLOCK@[56; 64)
-      L_CURLY@[56; 57) "{"
-      WHITESPACE@[57; 58) " "
-      EXPR_STMT@[58; 60)
-        LITERAL@[58; 59)
-          INT_NUMBER@[58; 59) "1"
-        SEMI@[59; 60) ";"
-      WHITESPACE@[60; 61) " "
-      LITERAL@[61; 62)
-        INT_NUMBER@[61; 62) "2"
-      WHITESPACE@[62; 63) " "
-      R_CURLY@[63; 64) "}"
+    BLOCK_EXPR@[56; 64)
+      BLOCK@[56; 64)
+        L_CURLY@[56; 57) "{"
+        WHITESPACE@[57; 58) " "
+        EXPR_STMT@[58; 60)
+          LITERAL@[58; 59)
+            INT_NUMBER@[58; 59) "1"
+          SEMI@[59; 60) ";"
+        WHITESPACE@[60; 61) " "
+        LITERAL@[61; 62)
+          INT_NUMBER@[61; 62) "2"
+        WHITESPACE@[62; 63) " "
+        R_CURLY@[63; 64) "}"
   WHITESPACE@[64; 65) "\n"