Merge #273

273: Add a test to ensure that we can parse each file r=matklad a=DJMcNab

Note that this has a non-spurious failure in ra_analysis/src/mock_analysis.

Probably fixes #195.

If my understanding is correct, fixes #214 and fixes #225.

Co-authored-by: DJMcNab <[email protected]>

9 files changed, 363 insertions, 122 deletions

diff --git a/crates/ra_syntax/tests/data/parser/inline/0069_match_arm.rs b/crates/ra_syntax/tests/data/parser/inline/0069_match_arm.rs
index b23a12500..3380fa4ca 100644
--- a/crates/ra_syntax/tests/data/parser/inline/0069_match_arm.rs
+++ b/crates/ra_syntax/tests/data/parser/inline/0069_match_arm.rs
@@ -1,6 +1,7 @@
 fn foo() {
     match () {
         _ => (),
+        _ if Test>{field: 0} => (),
         X | Y if Z => (),
         | X | Y if Z => (),
         | X => (),
diff --git a/crates/ra_syntax/tests/data/parser/inline/0069_match_arm.txt b/crates/ra_syntax/tests/data/parser/inline/0069_match_arm.txt
index 044faec04..e5647765c 100644
--- a/crates/ra_syntax/tests/data/parser/inline/0069_match_arm.txt
+++ b/crates/ra_syntax/tests/data/parser/inline/0069_match_arm.txt
@@ -1,5 +1,5 @@
-SOURCE_FILE@[0; 125)
-  FN_DEF@[0; 124)
+SOURCE_FILE@[0; 161)
+  FN_DEF@[0; 160)
     FN_KW@[0; 2)
     WHITESPACE@[2; 3)
     NAME@[3; 6)
@@ -8,18 +8,18 @@ SOURCE_FILE@[0; 125)
       L_PAREN@[6; 7)
       R_PAREN@[7; 8)
     WHITESPACE@[8; 9)
-    BLOCK@[9; 124)
+    BLOCK@[9; 160)
       L_CURLY@[9; 10)
       WHITESPACE@[10; 15)
-      EXPR_STMT@[15; 122)
-        MATCH_EXPR@[15; 121)
+      EXPR_STMT@[15; 158)
+        MATCH_EXPR@[15; 157)
           MATCH_KW@[15; 20)
           WHITESPACE@[20; 21)
           TUPLE_EXPR@[21; 23)
             L_PAREN@[21; 22)
             R_PAREN@[22; 23)
           WHITESPACE@[23; 24)
-          MATCH_ARM_LIST@[24; 121)
+          MATCH_ARM_LIST@[24; 157)
             L_CURLY@[24; 25)
             WHITESPACE@[25; 34)
             MATCH_ARM@[34; 41)
@@ -33,76 +33,116 @@ SOURCE_FILE@[0; 125)
                 R_PAREN@[40; 41)
             COMMA@[41; 42)
             WHITESPACE@[42; 51)
-            MATCH_ARM@[51; 67)
-              BIND_PAT@[51; 52)
-                NAME@[51; 52)
-                  IDENT@[51; 52) "X"
+            MATCH_ARM@[51; 77)
+              PLACEHOLDER_PAT@[51; 52)
+                UNDERSCORE@[51; 52)
               WHITESPACE@[52; 53)
-              PIPE@[53; 54)
-              WHITESPACE@[54; 55)
-              BIND_PAT@[55; 56)
-                NAME@[55; 56)
-                  IDENT@[55; 56) "Y"
-              WHITESPACE@[56; 57)
-              IF_KW@[57; 59)
-              WHITESPACE@[59; 60)
-              PATH_EXPR@[60; 61)
-                PATH@[60; 61)
-                  PATH_SEGMENT@[60; 61)
-                    NAME_REF@[60; 61)
-                      IDENT@[60; 61) "Z"
-              WHITESPACE@[61; 62)
-              FAT_ARROW@[62; 64)
-              WHITESPACE@[64; 65)
-              TUPLE_EXPR@[65; 67)
-                L_PAREN@[65; 66)
-                R_PAREN@[66; 67)
-            COMMA@[67; 68)
-            WHITESPACE@[68; 77)
-            MATCH_ARM@[77; 95)
-              PIPE@[77; 78)
-              WHITESPACE@[78; 79)
-              BIND_PAT@[79; 80)
-                NAME@[79; 80)
-                  IDENT@[79; 80) "X"
-              WHITESPACE@[80; 81)
-              PIPE@[81; 82)
-              WHITESPACE@[82; 83)
-              BIND_PAT@[83; 84)
-                NAME@[83; 84)
-                  IDENT@[83; 84) "Y"
-              WHITESPACE@[84; 85)
-              IF_KW@[85; 87)
-              WHITESPACE@[87; 88)
-              PATH_EXPR@[88; 89)
-                PATH@[88; 89)
-                  PATH_SEGMENT@[88; 89)
-                    NAME_REF@[88; 89)
-                      IDENT@[88; 89) "Z"
-              WHITESPACE@[89; 90)
-              FAT_ARROW@[90; 92)
+              IF_KW@[53; 55)
+              WHITESPACE@[55; 56)
+              BIN_EXPR@[56; 71)
+                PATH_EXPR@[56; 60)
+                  PATH@[56; 60)
+                    PATH_SEGMENT@[56; 60)
+                      NAME_REF@[56; 60)
+                        IDENT@[56; 60) "Test"
+                R_ANGLE@[60; 61)
+                BLOCK_EXPR@[61; 71)
+                  BLOCK@[61; 71)
+                    L_CURLY@[61; 62)
+                    EXPR_STMT@[62; 67)
+                      PATH_EXPR@[62; 67)
+                        PATH@[62; 67)
+                          PATH_SEGMENT@[62; 67)
+                            NAME_REF@[62; 67)
+                              IDENT@[62; 67) "field"
+                              err: `expected SEMI`
+                              err: `expected expression`
+                    EXPR_STMT@[67; 68)
+                      ERROR@[67; 68)
+                        COLON@[67; 68)
+                        err: `expected SEMI`
+                    WHITESPACE@[68; 69)
+                    LITERAL@[69; 70)
+                      INT_NUMBER@[69; 70) "0"
+                    R_CURLY@[70; 71)
+              WHITESPACE@[71; 72)
+              FAT_ARROW@[72; 74)
+              WHITESPACE@[74; 75)
+              TUPLE_EXPR@[75; 77)
+                L_PAREN@[75; 76)
+                R_PAREN@[76; 77)
+            COMMA@[77; 78)
+            WHITESPACE@[78; 87)
+            MATCH_ARM@[87; 103)
+              BIND_PAT@[87; 88)
+                NAME@[87; 88)
+                  IDENT@[87; 88) "X"
+              WHITESPACE@[88; 89)
+              PIPE@[89; 90)
+              WHITESPACE@[90; 91)
+              BIND_PAT@[91; 92)
+                NAME@[91; 92)
+                  IDENT@[91; 92) "Y"
               WHITESPACE@[92; 93)
-              TUPLE_EXPR@[93; 95)
-                L_PAREN@[93; 94)
-                R_PAREN@[94; 95)
-            COMMA@[95; 96)
-            WHITESPACE@[96; 105)
-            MATCH_ARM@[105; 114)
-              PIPE@[105; 106)
-              WHITESPACE@[106; 107)
-              BIND_PAT@[107; 108)
-                NAME@[107; 108)
-                  IDENT@[107; 108) "X"
-              WHITESPACE@[108; 109)
-              FAT_ARROW@[109; 111)
-              WHITESPACE@[111; 112)
-              TUPLE_EXPR@[112; 114)
-                L_PAREN@[112; 113)
-                R_PAREN@[113; 114)
-            COMMA@[114; 115)
-            WHITESPACE@[115; 120)
-            R_CURLY@[120; 121)
-        SEMI@[121; 122)
-      WHITESPACE@[122; 123)
-      R_CURLY@[123; 124)
-  WHITESPACE@[124; 125)
+              IF_KW@[93; 95)
+              WHITESPACE@[95; 96)
+              PATH_EXPR@[96; 97)
+                PATH@[96; 97)
+                  PATH_SEGMENT@[96; 97)
+                    NAME_REF@[96; 97)
+                      IDENT@[96; 97) "Z"
+              WHITESPACE@[97; 98)
+              FAT_ARROW@[98; 100)
+              WHITESPACE@[100; 101)
+              TUPLE_EXPR@[101; 103)
+                L_PAREN@[101; 102)
+                R_PAREN@[102; 103)
+            COMMA@[103; 104)
+            WHITESPACE@[104; 113)
+            MATCH_ARM@[113; 131)
+              PIPE@[113; 114)
+              WHITESPACE@[114; 115)
+              BIND_PAT@[115; 116)
+                NAME@[115; 116)
+                  IDENT@[115; 116) "X"
+              WHITESPACE@[116; 117)
+              PIPE@[117; 118)
+              WHITESPACE@[118; 119)
+              BIND_PAT@[119; 120)
+                NAME@[119; 120)
+                  IDENT@[119; 120) "Y"
+              WHITESPACE@[120; 121)
+              IF_KW@[121; 123)
+              WHITESPACE@[123; 124)
+              PATH_EXPR@[124; 125)
+                PATH@[124; 125)
+                  PATH_SEGMENT@[124; 125)
+                    NAME_REF@[124; 125)
+                      IDENT@[124; 125) "Z"
+              WHITESPACE@[125; 126)
+              FAT_ARROW@[126; 128)
+              WHITESPACE@[128; 129)
+              TUPLE_EXPR@[129; 131)
+                L_PAREN@[129; 130)
+                R_PAREN@[130; 131)
+            COMMA@[131; 132)
+            WHITESPACE@[132; 141)
+            MATCH_ARM@[141; 150)
+              PIPE@[141; 142)
+              WHITESPACE@[142; 143)
+              BIND_PAT@[143; 144)
+                NAME@[143; 144)
+                  IDENT@[143; 144) "X"
+              WHITESPACE@[144; 145)
+              FAT_ARROW@[145; 147)
+              WHITESPACE@[147; 148)
+              TUPLE_EXPR@[148; 150)
+                L_PAREN@[148; 149)
+                R_PAREN@[149; 150)
+            COMMA@[150; 151)
+            WHITESPACE@[151; 156)
+            R_CURLY@[156; 157)
+        SEMI@[157; 158)
+      WHITESPACE@[158; 159)
+      R_CURLY@[159; 160)
+  WHITESPACE@[160; 161)
diff --git a/crates/ra_syntax/tests/data/parser/inline/0086_no_semi_after_block.rs b/crates/ra_syntax/tests/data/parser/inline/0086_no_semi_after_block.rs
index d769da43d..4919665cb 100644
--- a/crates/ra_syntax/tests/data/parser/inline/0086_no_semi_after_block.rs
+++ b/crates/ra_syntax/tests/data/parser/inline/0086_no_semi_after_block.rs
@@ -6,4 +6,8 @@ fn foo() {
     for _ in () {}
     {}
     {}
+    macro_rules! test {
+         () => {}
+    }
+    test!{}
 }
diff --git a/crates/ra_syntax/tests/data/parser/inline/0086_no_semi_after_block.txt b/crates/ra_syntax/tests/data/parser/inline/0086_no_semi_after_block.txt
index 69f0a48ce..63b230091 100644
--- a/crates/ra_syntax/tests/data/parser/inline/0086_no_semi_after_block.txt
+++ b/crates/ra_syntax/tests/data/parser/inline/0086_no_semi_after_block.txt
@@ -1,5 +1,5 @@
-SOURCE_FILE@[0; 107)
-  FN_DEF@[0; 106)
+SOURCE_FILE@[0; 167)
+  FN_DEF@[0; 166)
     FN_KW@[0; 2)
     WHITESPACE@[2; 3)
     NAME@[3; 6)
@@ -8,7 +8,7 @@ SOURCE_FILE@[0; 107)
       L_PAREN@[6; 7)
       R_PAREN@[7; 8)
     WHITESPACE@[8; 9)
-    BLOCK@[9; 106)
+    BLOCK@[9; 166)
       L_CURLY@[9; 10)
       WHITESPACE@[10; 15)
       EXPR_STMT@[15; 25)
@@ -78,10 +78,46 @@ SOURCE_FILE@[0; 107)
             L_CURLY@[95; 96)
             R_CURLY@[96; 97)
       WHITESPACE@[97; 102)
-      BLOCK_EXPR@[102; 104)
-        BLOCK@[102; 104)
-          L_CURLY@[102; 103)
-          R_CURLY@[103; 104)
-      WHITESPACE@[104; 105)
-      R_CURLY@[105; 106)
-  WHITESPACE@[106; 107)
+      EXPR_STMT@[102; 104)
+        BLOCK_EXPR@[102; 104)
+          BLOCK@[102; 104)
+            L_CURLY@[102; 103)
+            R_CURLY@[103; 104)
+      WHITESPACE@[104; 109)
+      EXPR_STMT@[109; 152)
+        MACRO_CALL@[109; 152)
+          PATH@[109; 120)
+            PATH_SEGMENT@[109; 120)
+              NAME_REF@[109; 120)
+                IDENT@[109; 120) "macro_rules"
+          EXCL@[120; 121)
+          WHITESPACE@[121; 122)
+          IDENT@[122; 126) "test"
+          WHITESPACE@[126; 127)
+          TOKEN_TREE@[127; 152)
+            L_CURLY@[127; 128)
+            WHITESPACE@[128; 138)
+            TOKEN_TREE@[138; 140)
+              L_PAREN@[138; 139)
+              R_PAREN@[139; 140)
+            WHITESPACE@[140; 141)
+            FAT_ARROW@[141; 143)
+            WHITESPACE@[143; 144)
+            TOKEN_TREE@[144; 146)
+              L_CURLY@[144; 145)
+              R_CURLY@[145; 146)
+            WHITESPACE@[146; 151)
+            R_CURLY@[151; 152)
+      WHITESPACE@[152; 157)
+      MACRO_CALL@[157; 164)
+        PATH@[157; 161)
+          PATH_SEGMENT@[157; 161)
+            NAME_REF@[157; 161)
+              IDENT@[157; 161) "test"
+        EXCL@[161; 162)
+        TOKEN_TREE@[162; 164)
+          L_CURLY@[162; 163)
+          R_CURLY@[163; 164)
+      WHITESPACE@[164; 165)
+      R_CURLY@[165; 166)
+  WHITESPACE@[166; 167)
diff --git a/crates/ra_syntax/tests/data/parser/inline/0094_range_pat.rs b/crates/ra_syntax/tests/data/parser/inline/0094_range_pat.rs
index 657467e75..c12ab6fce 100644
--- a/crates/ra_syntax/tests/data/parser/inline/0094_range_pat.rs
+++ b/crates/ra_syntax/tests/data/parser/inline/0094_range_pat.rs
@@ -1,3 +1,7 @@
 fn main() {
-    match 92 { 0 ... 100 => () }
+    match 92 {
+        0 ... 100 => (),
+        101 ..= 200 => (),
+        200 .. 301=> (),
+    }
 }
diff --git a/crates/ra_syntax/tests/data/parser/inline/0094_range_pat.txt b/crates/ra_syntax/tests/data/parser/inline/0094_range_pat.txt
index 12ccc1314..d47f38903 100644
--- a/crates/ra_syntax/tests/data/parser/inline/0094_range_pat.txt
+++ b/crates/ra_syntax/tests/data/parser/inline/0094_range_pat.txt
@@ -1,5 +1,5 @@
-SOURCE_FILE@[0; 47)
-  FN_DEF@[0; 46)
+SOURCE_FILE@[0; 112)
+  FN_DEF@[0; 111)
     FN_KW@[0; 2)
     WHITESPACE@[2; 3)
     NAME@[3; 7)
@@ -8,35 +8,69 @@ SOURCE_FILE@[0; 47)
       L_PAREN@[7; 8)
       R_PAREN@[8; 9)
     WHITESPACE@[9; 10)
-    BLOCK@[10; 46)
+    BLOCK@[10; 111)
       L_CURLY@[10; 11)
       WHITESPACE@[11; 16)
-      MATCH_EXPR@[16; 44)
+      MATCH_EXPR@[16; 109)
         MATCH_KW@[16; 21)
         WHITESPACE@[21; 22)
         LITERAL@[22; 24)
           INT_NUMBER@[22; 24) "92"
         WHITESPACE@[24; 25)
-        MATCH_ARM_LIST@[25; 44)
+        MATCH_ARM_LIST@[25; 109)
           L_CURLY@[25; 26)
-          WHITESPACE@[26; 27)
-          MATCH_ARM@[27; 42)
-            RANGE_PAT@[27; 36)
-              LITERAL@[27; 28)
-                INT_NUMBER@[27; 28) "0"
-              WHITESPACE@[28; 29)
-              DOTDOTDOT@[29; 32)
-              WHITESPACE@[32; 33)
-              LITERAL@[33; 36)
-                INT_NUMBER@[33; 36) "100"
-            WHITESPACE@[36; 37)
-            FAT_ARROW@[37; 39)
-            WHITESPACE@[39; 40)
-            TUPLE_EXPR@[40; 42)
-              L_PAREN@[40; 41)
-              R_PAREN@[41; 42)
-          WHITESPACE@[42; 43)
-          R_CURLY@[43; 44)
-      WHITESPACE@[44; 45)
-      R_CURLY@[45; 46)
-  WHITESPACE@[46; 47)
+          WHITESPACE@[26; 35)
+          MATCH_ARM@[35; 50)
+            RANGE_PAT@[35; 44)
+              LITERAL@[35; 36)
+                INT_NUMBER@[35; 36) "0"
+              WHITESPACE@[36; 37)
+              DOTDOTDOT@[37; 40)
+              WHITESPACE@[40; 41)
+              LITERAL@[41; 44)
+                INT_NUMBER@[41; 44) "100"
+            WHITESPACE@[44; 45)
+            FAT_ARROW@[45; 47)
+            WHITESPACE@[47; 48)
+            TUPLE_EXPR@[48; 50)
+              L_PAREN@[48; 49)
+              R_PAREN@[49; 50)
+          COMMA@[50; 51)
+          WHITESPACE@[51; 60)
+          MATCH_ARM@[60; 77)
+            RANGE_PAT@[60; 71)
+              LITERAL@[60; 63)
+                INT_NUMBER@[60; 63) "101"
+              WHITESPACE@[63; 64)
+              DOTDOTEQ@[64; 67)
+              WHITESPACE@[67; 68)
+              LITERAL@[68; 71)
+                INT_NUMBER@[68; 71) "200"
+            WHITESPACE@[71; 72)
+            FAT_ARROW@[72; 74)
+            WHITESPACE@[74; 75)
+            TUPLE_EXPR@[75; 77)
+              L_PAREN@[75; 76)
+              R_PAREN@[76; 77)
+          COMMA@[77; 78)
+          WHITESPACE@[78; 87)
+          MATCH_ARM@[87; 102)
+            RANGE_PAT@[87; 97)
+              LITERAL@[87; 90)
+                INT_NUMBER@[87; 90) "200"
+              WHITESPACE@[90; 91)
+              DOTDOT@[91; 93)
+              WHITESPACE@[93; 94)
+              LITERAL@[94; 97)
+                INT_NUMBER@[94; 97) "301"
+            FAT_ARROW@[97; 99)
+            WHITESPACE@[99; 100)
+            TUPLE_EXPR@[100; 102)
+              L_PAREN@[100; 101)
+              R_PAREN@[101; 102)
+          COMMA@[102; 103)
+          WHITESPACE@[103; 108)
+          R_CURLY@[108; 109)
+      WHITESPACE@[109; 110)
+      R_CURLY@[110; 111)
+  WHITESPACE@[111; 112)
diff --git a/crates/ra_syntax/tests/data/parser/ok/0029_range_forms.rs b/crates/ra_syntax/tests/data/parser/ok/0029_range_forms.rs
index 03f4ae7b2..f9ff444d4 100644
--- a/crates/ra_syntax/tests/data/parser/ok/0029_range_forms.rs
+++ b/crates/ra_syntax/tests/data/parser/ok/0029_range_forms.rs
@@ -3,4 +3,9 @@ fn foo() {
     ..z = 2;
     x = false..1 == 1;
     let x = 1..;
+    
+    ..=1 + 1;
+    ..=z = 2;
+    x = false..=1 == 1;
+    let x = 1..;
 }
diff --git a/crates/ra_syntax/tests/data/parser/ok/0029_range_forms.txt b/crates/ra_syntax/tests/data/parser/ok/0029_range_forms.txt
index 2e7703c21..e3706bfbd 100644
--- a/crates/ra_syntax/tests/data/parser/ok/0029_range_forms.txt
+++ b/crates/ra_syntax/tests/data/parser/ok/0029_range_forms.txt
@@ -1,5 +1,5 @@
-SOURCE_FILE@[0; 79)
-  FN_DEF@[0; 78)
+SOURCE_FILE@[0; 153)
+  FN_DEF@[0; 152)
     FN_KW@[0; 2)
     WHITESPACE@[2; 3)
     NAME@[3; 6)
@@ -8,7 +8,7 @@ SOURCE_FILE@[0; 79)
       L_PAREN@[6; 7)
       R_PAREN@[7; 8)
     WHITESPACE@[8; 9)
-    BLOCK@[9; 78)
+    BLOCK@[9; 152)
       L_CURLY@[9; 10)
       WHITESPACE@[10; 15)
       EXPR_STMT@[15; 23)
@@ -78,6 +78,80 @@ SOURCE_FILE@[0; 79)
             INT_NUMBER@[72; 73) "1"
           DOTDOT@[73; 75)
         SEMI@[75; 76)
-      WHITESPACE@[76; 77)
-      R_CURLY@[77; 78)
-  WHITESPACE@[78; 79)
+      WHITESPACE@[76; 86)
+      err: `expected expression`
+      EXPR_STMT@[86; 89)
+        ERROR@[86; 89)
+          DOTDOTEQ@[86; 89)
+          err: `expected SEMI`
+      EXPR_STMT@[89; 95)
+        BIN_EXPR@[89; 94)
+          LITERAL@[89; 90)
+            INT_NUMBER@[89; 90) "1"
+          WHITESPACE@[90; 91)
+          PLUS@[91; 92)
+          WHITESPACE@[92; 93)
+          LITERAL@[93; 94)
+            INT_NUMBER@[93; 94) "1"
+        SEMI@[94; 95)
+      WHITESPACE@[95; 100)
+      err: `expected expression`
+      EXPR_STMT@[100; 103)
+        ERROR@[100; 103)
+          DOTDOTEQ@[100; 103)
+          err: `expected SEMI`
+      EXPR_STMT@[103; 109)
+        BIN_EXPR@[103; 108)
+          PATH_EXPR@[103; 104)
+            PATH@[103; 104)
+              PATH_SEGMENT@[103; 104)
+                NAME_REF@[103; 104)
+                  IDENT@[103; 104) "z"
+          WHITESPACE@[104; 105)
+          EQ@[105; 106)
+          WHITESPACE@[106; 107)
+          LITERAL@[107; 108)
+            INT_NUMBER@[107; 108) "2"
+        SEMI@[108; 109)
+      WHITESPACE@[109; 114)
+      EXPR_STMT@[114; 133)
+        BIN_EXPR@[114; 132)
+          PATH_EXPR@[114; 115)
+            PATH@[114; 115)
+              PATH_SEGMENT@[114; 115)
+                NAME_REF@[114; 115)
+                  IDENT@[114; 115) "x"
+          WHITESPACE@[115; 116)
+          EQ@[116; 117)
+          WHITESPACE@[117; 118)
+          RANGE_EXPR@[118; 132)
+            LITERAL@[118; 123)
+              FALSE_KW@[118; 123)
+            DOTDOTEQ@[123; 126)
+            BIN_EXPR@[126; 132)
+              LITERAL@[126; 127)
+                INT_NUMBER@[126; 127) "1"
+              WHITESPACE@[127; 128)
+              EQEQ@[128; 130)
+              WHITESPACE@[130; 131)
+              LITERAL@[131; 132)
+                INT_NUMBER@[131; 132) "1"
+        SEMI@[132; 133)
+      WHITESPACE@[133; 138)
+      LET_STMT@[138; 150)
+        LET_KW@[138; 141)
+        WHITESPACE@[141; 142)
+        BIND_PAT@[142; 143)
+          NAME@[142; 143)
+            IDENT@[142; 143) "x"
+        WHITESPACE@[143; 144)
+        EQ@[144; 145)
+        WHITESPACE@[145; 146)
+        RANGE_EXPR@[146; 149)
+          LITERAL@[146; 147)
+            INT_NUMBER@[146; 147) "1"
+          DOTDOT@[147; 149)
+        SEMI@[149; 150)
+      WHITESPACE@[150; 151)
+      R_CURLY@[151; 152)
+  WHITESPACE@[152; 153)
diff --git a/crates/ra_syntax/tests/test.rs b/crates/ra_syntax/tests/test.rs
index 67acc9020..c17b6ffa6 100644
--- a/crates/ra_syntax/tests/test.rs
+++ b/crates/ra_syntax/tests/test.rs
@@ -6,7 +6,7 @@ extern crate walkdir;
 use std::{
     fmt::Write,
     fs,
-    path::{Path, PathBuf},
+    path::{Path, PathBuf, Component},
 };
 
 use ra_syntax::{
@@ -37,6 +37,47 @@ fn parser_fuzz_tests() {
     }
 }
 
+/// Test that Rust-analyzer can parse and validate the rust-analyser
+/// TODO: Use this as a benchmark
+#[test]
+fn self_hosting_parsing() {
+    use std::ffi::OsStr;
+    let empty_vec = vec![];
+    let dir = project_dir().join("crates");
+    let mut count = 0;
+    for entry in walkdir::WalkDir::new(dir)
+        .into_iter()
+        .filter_entry(|entry| {
+            !entry
+                .path()
+                .components()
+                // TODO: this more neatly
+                .any(|component| {
+                    // Get all files which are not in the crates/ra_syntax/tests/data folder
+                    component == Component::Normal(OsStr::new("data"))
+                })
+        })
+        .map(|e| e.unwrap())
+        .filter(|entry| {
+            // Get all `.rs ` files
+            !entry.path().is_dir() && (entry.path().extension() == Some(OsStr::new("rs")))
+        })
+    {
+        count += 1;
+        let text = read_text(entry.path());
+        let node = SourceFileNode::parse(&text);
+        let errors = node.errors();
+        assert_eq!(
+            errors, empty_vec,
+            "There should be no errors in the file {:?}",
+            entry
+        );
+    }
+    assert!(
+        count > 30,
+        "self_hosting_parsing found too few files - is it running in the right directory?"
+    )
+}
 /// Read file and normalize newlines.
 ///
 /// `rustc` seems to always normalize `\r\n` newlines to `\n`:
@@ -49,7 +90,9 @@ fn parser_fuzz_tests() {
 ///
 /// so this should always be correct.
 fn read_text(path: &Path) -> String {
-    fs::read_to_string(path).unwrap().replace("\r\n", "\n")
+    fs::read_to_string(path)
+        .expect(&format!("File at {:?} should be valid", path))
+        .replace("\r\n", "\n")
 }
 
 pub fn dir_tests<F>(paths: &[&str], f: F)