7 files changed, 49 insertions, 14 deletions

diff --git a/crates/ra_parser/src/grammar.rs b/crates/ra_parser/src/grammar.rs
index f94702e97..c9941fe93 100644
--- a/crates/ra_parser/src/grammar.rs
+++ b/crates/ra_parser/src/grammar.rs
@@ -129,7 +129,9 @@ fn opt_alias(p: &mut Parser) {
     if p.at(AS_KW) {
         let m = p.start();
         p.bump();
-        name(p);
+        if !p.eat(UNDERSCORE) {
+            name(p);
+        }
         m.complete(p, ALIAS);
     }
 }
diff --git a/crates/ra_parser/src/grammar/items/use_item.rs b/crates/ra_parser/src/grammar/items/use_item.rs
index 5111d37eb..b36612726 100644
--- a/crates/ra_parser/src/grammar/items/use_item.rs
+++ b/crates/ra_parser/src/grammar/items/use_item.rs
@@ -76,6 +76,7 @@ fn use_tree(p: &mut Parser) {
                     //  yet::another::path,
                     //  running::out::of::synonyms::for_::different::*
                     // };
+                    // use Trait as _;
                     opt_alias(p);
                 }
                 COLONCOLON => {
diff --git a/crates/ra_parser/src/grammar/params.rs b/crates/ra_parser/src/grammar/params.rs
index a70f067f9..d027578b6 100644
--- a/crates/ra_parser/src/grammar/params.rs
+++ b/crates/ra_parser/src/grammar/params.rs
@@ -83,9 +83,10 @@ fn value_parameter(p: &mut Parser, flavor: Flavor) {
 
             // test trait_fn_placeholder_parameter
             // trait Foo {
-            //     fn bar(_: u64);
+            //     fn bar(_: u64, mut x: i32);
             // }
             if (la0 == IDENT || la0 == UNDERSCORE) && la1 == COLON
+                || la0 == MUT_KW && la1 == IDENT && la2 == COLON
                 || la0 == AMP && la1 == IDENT && la2 == COLON
                 || la0 == AMP && la1 == MUT_KW && la2 == IDENT && la3 == COLON
             {
diff --git a/crates/ra_syntax/tests/data/parser/inline/ok/0043_use_alias.rs b/crates/ra_syntax/tests/data/parser/inline/ok/0043_use_alias.rs
index 544caa020..9be50f877 100644
--- a/crates/ra_syntax/tests/data/parser/inline/ok/0043_use_alias.rs
+++ b/crates/ra_syntax/tests/data/parser/inline/ok/0043_use_alias.rs
@@ -5,3 +5,4 @@ use some::{
  yet::another::path,
  running::out::of::synonyms::for_::different::*
 };
+use Trait as _;
diff --git a/crates/ra_syntax/tests/data/parser/inline/ok/0043_use_alias.txt b/crates/ra_syntax/tests/data/parser/inline/ok/0043_use_alias.txt
index 8ef0ecbc6..0c8dec81d 100644
--- a/crates/ra_syntax/tests/data/parser/inline/ok/0043_use_alias.txt
+++ b/crates/ra_syntax/tests/data/parser/inline/ok/0043_use_alias.txt
@@ -1,4 +1,4 @@
-SOURCE_FILE@[0; 182)
+SOURCE_FILE@[0; 198)
   USE_ITEM@[0; 28)
     USE_KW@[0; 3)
     WHITESPACE@[3; 4)
@@ -121,3 +121,18 @@ SOURCE_FILE@[0; 182)
         R_CURLY@[179; 180)
     SEMI@[180; 181)
   WHITESPACE@[181; 182)
+  USE_ITEM@[182; 197)
+    USE_KW@[182; 185)
+    WHITESPACE@[185; 186)
+    USE_TREE@[186; 196)
+      PATH@[186; 191)
+        PATH_SEGMENT@[186; 191)
+          NAME_REF@[186; 191)
+            IDENT@[186; 191) "Trait"
+      WHITESPACE@[191; 192)
+      ALIAS@[192; 196)
+        AS_KW@[192; 194)
+        WHITESPACE@[194; 195)
+        UNDERSCORE@[195; 196)
+    SEMI@[196; 197)
+  WHITESPACE@[197; 198)
diff --git a/crates/ra_syntax/tests/data/parser/inline/ok/0116_trait_fn_placeholder_parameter.rs b/crates/ra_syntax/tests/data/parser/inline/ok/0116_trait_fn_placeholder_parameter.rs
index aede3f4fe..472cb8803 100644
--- a/crates/ra_syntax/tests/data/parser/inline/ok/0116_trait_fn_placeholder_parameter.rs
+++ b/crates/ra_syntax/tests/data/parser/inline/ok/0116_trait_fn_placeholder_parameter.rs
@@ -1,3 +1,3 @@
 trait Foo {
-    fn bar(_: u64);
+    fn bar(_: u64, mut x: i32);
 }
diff --git a/crates/ra_syntax/tests/data/parser/inline/ok/0116_trait_fn_placeholder_parameter.txt b/crates/ra_syntax/tests/data/parser/inline/ok/0116_trait_fn_placeholder_parameter.txt
index 248d491df..00217aef1 100644
--- a/crates/ra_syntax/tests/data/parser/inline/ok/0116_trait_fn_placeholder_parameter.txt
+++ b/crates/ra_syntax/tests/data/parser/inline/ok/0116_trait_fn_placeholder_parameter.txt
@@ -1,19 +1,19 @@
-SOURCE_FILE@[0; 34)
-  TRAIT_DEF@[0; 33)
+SOURCE_FILE@[0; 46)
+  TRAIT_DEF@[0; 45)
     TRAIT_KW@[0; 5)
     WHITESPACE@[5; 6)
     NAME@[6; 9)
       IDENT@[6; 9) "Foo"
     WHITESPACE@[9; 10)
-    ITEM_LIST@[10; 33)
+    ITEM_LIST@[10; 45)
       L_CURLY@[10; 11)
       WHITESPACE@[11; 16)
-      FN_DEF@[16; 31)
+      FN_DEF@[16; 43)
         FN_KW@[16; 18)
         WHITESPACE@[18; 19)
         NAME@[19; 22)
           IDENT@[19; 22) "bar"
-        PARAM_LIST@[22; 30)
+        PARAM_LIST@[22; 42)
           L_PAREN@[22; 23)
           PARAM@[23; 29)
             PLACEHOLDER_PAT@[23; 24)
@@ -25,8 +25,23 @@ SOURCE_FILE@[0; 34)
                 PATH_SEGMENT@[26; 29)
                   NAME_REF@[26; 29)
                     IDENT@[26; 29) "u64"
-          R_PAREN@[29; 30)
-        SEMI@[30; 31)
-      WHITESPACE@[31; 32)
-      R_CURLY@[32; 33)
-  WHITESPACE@[33; 34)
+          COMMA@[29; 30)
+          WHITESPACE@[30; 31)
+          PARAM@[31; 41)
+            BIND_PAT@[31; 36)
+              MUT_KW@[31; 34)
+              WHITESPACE@[34; 35)
+              NAME@[35; 36)
+                IDENT@[35; 36) "x"
+            COLON@[36; 37)
+            WHITESPACE@[37; 38)
+            PATH_TYPE@[38; 41)
+              PATH@[38; 41)
+                PATH_SEGMENT@[38; 41)
+                  NAME_REF@[38; 41)
+                    IDENT@[38; 41) "i32"
+          R_PAREN@[41; 42)
+        SEMI@[42; 43)
+      WHITESPACE@[43; 44)
+      R_CURLY@[44; 45)
+  WHITESPACE@[45; 46)