Merge #2108

2108: fix parsing of for loops inside expressions r=matklad a=matklad



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

1 files changed, 43 insertions, 48 deletions

diff --git a/crates/ra_syntax/test_data/parser/err/0024_many_type_parens.txt b/crates/ra_syntax/test_data/parser/err/0024_many_type_parens.txt
index 198daf7b4..0a93e11a5 100644
--- a/crates/ra_syntax/test_data/parser/err/0024_many_type_parens.txt
+++ b/crates/ra_syntax/test_data/parser/err/0024_many_type_parens.txt
@@ -179,50 +179,47 @@ SOURCE_FILE@[0; 240)
           ERROR@[148; 149)
             PLUS@[148; 149) "+"
         WHITESPACE@[149; 150) " "
-        EXPR_STMT@[150; 151)
-          PAREN_EXPR@[150; 151)
+        EXPR_STMT@[150; 180)
+          TUPLE_EXPR@[150; 180)
             L_PAREN@[150; 151) "("
-        EXPR_STMT@[151; 157)
-          FOR_EXPR@[151; 157)
-            FOR_KW@[151; 154) "for"
-            ERROR@[154; 155)
-              L_ANGLE@[154; 155) "<"
-            ERROR@[155; 157)
-              LIFETIME@[155; 157) "\'a"
-        EXPR_STMT@[157; 158)
-          ERROR@[157; 158)
-            R_ANGLE@[157; 158) ">"
-        WHITESPACE@[158; 159) " "
-        EXPR_STMT@[159; 180)
-          BIN_EXPR@[159; 180)
-            BIN_EXPR@[159; 178)
-              BIN_EXPR@[159; 169)
-                BIN_EXPR@[159; 167)
-                  PATH_EXPR@[159; 164)
-                    PATH@[159; 164)
-                      PATH_SEGMENT@[159; 164)
-                        NAME_REF@[159; 164)
-                          IDENT@[159; 164) "Trait"
-                  L_ANGLE@[164; 165) "<"
-                  ERROR@[165; 167)
-                    LIFETIME@[165; 167) "\'a"
-                R_ANGLE@[167; 168) ">"
-                ERROR@[168; 169)
-                  R_PAREN@[168; 169) ")"
-              WHITESPACE@[169; 170) " "
-              PLUS@[170; 171) "+"
-              WHITESPACE@[171; 172) " "
-              PAREN_EXPR@[172; 178)
-                L_PAREN@[172; 173) "("
-                PATH_EXPR@[173; 177)
-                  PATH@[173; 177)
-                    PATH_SEGMENT@[173; 177)
-                      NAME_REF@[173; 177)
-                        IDENT@[173; 177) "Copy"
-                R_PAREN@[177; 178) ")"
-            R_ANGLE@[178; 179) ">"
-            ERROR@[179; 180)
-              SEMI@[179; 180) ";"
+            BIN_EXPR@[151; 180)
+              BIN_EXPR@[151; 178)
+                BIN_EXPR@[151; 169)
+                  BIN_EXPR@[151; 167)
+                    BIN_EXPR@[151; 164)
+                      FOR_EXPR@[151; 157)
+                        FOR_KW@[151; 154) "for"
+                        ERROR@[154; 155)
+                          L_ANGLE@[154; 155) "<"
+                        ERROR@[155; 157)
+                          LIFETIME@[155; 157) "\'a"
+                      R_ANGLE@[157; 158) ">"
+                      WHITESPACE@[158; 159) " "
+                      PATH_EXPR@[159; 164)
+                        PATH@[159; 164)
+                          PATH_SEGMENT@[159; 164)
+                            NAME_REF@[159; 164)
+                              IDENT@[159; 164) "Trait"
+                    L_ANGLE@[164; 165) "<"
+                    ERROR@[165; 167)
+                      LIFETIME@[165; 167) "\'a"
+                  R_ANGLE@[167; 168) ">"
+                  ERROR@[168; 169)
+                    R_PAREN@[168; 169) ")"
+                WHITESPACE@[169; 170) " "
+                PLUS@[170; 171) "+"
+                WHITESPACE@[171; 172) " "
+                PAREN_EXPR@[172; 178)
+                  L_PAREN@[172; 173) "("
+                  PATH_EXPR@[173; 177)
+                    PATH@[173; 177)
+                      PATH_SEGMENT@[173; 177)
+                        NAME_REF@[173; 177)
+                          IDENT@[173; 177) "Copy"
+                  R_PAREN@[177; 178) ")"
+              R_ANGLE@[178; 179) ">"
+              ERROR@[179; 180)
+                SEMI@[179; 180) ";"
         WHITESPACE@[180; 185) "\n    "
         LET_STMT@[185; 235)
           LET_KW@[185; 188) "let"
@@ -307,18 +304,16 @@ error 146: expected expression
 error 147: expected SEMI
 error 148: expected expression
 error 149: expected SEMI
-error 151: expected expression
-error 151: expected R_PAREN
-error 151: expected SEMI
 error 154: expected pattern
 error 155: expected IN_KW
 error 155: expected expression
 error 157: expected a block
-error 157: expected expression
-error 158: expected SEMI
 error 165: expected expression
 error 168: expected expression
 error 179: expected expression
+error 180: expected COMMA
+error 180: expected expression
+error 180: expected R_PAREN
 error 180: expected SEMI
 error 215: expected COMMA
 error 215: expected R_ANGLE