reject impl keyword in impl header

diff --git a/crates/ra_syntax/src/grammar/items/traits.rs b/crates/ra_syntax/src/grammar/items/traits.rs
index c21cfb1a9b4ea07c2995ab363f800ea1c232de19..25b6cb66b3d29e550ed43948cf9960b6c6dabebf 100644 (file)
--- a/crates/ra_syntax/src/grammar/items/traits.rs
+++ b/crates/ra_syntax/src/grammar/items/traits.rs
@@ -54,8 +54,16 @@ pub(super) fn impl_item(p: &mut Parser) {
 
     // test impl_item_neg
     // impl !Send for X {}
-    p.eat(EXCL);
-    types::type_(p);
+    if p.at(IMPL_KW) {
+        p.error("expected type");
+    } else {
+        p.eat(EXCL);
+        if p.at(IMPL_KW) {
+            p.error("expected type");
+        } else {
+            types::type_(p);
+        }
+    }
     if p.eat(FOR_KW) {
         types::type_(p);
     }