Parse default unsafe & default const

2 files changed, 45 insertions, 15 deletions

diff --git a/crates/ra_parser/src/grammar/items.rs b/crates/ra_parser/src/grammar/items.rs
index 67a924de5..41f8bb0b6 100644
--- a/crates/ra_parser/src/grammar/items.rs
+++ b/crates/ra_parser/src/grammar/items.rs
@@ -118,7 +118,15 @@ pub(super) fn maybe_item(p: &mut Parser, m: Marker, flavor: ItemFlavor) -> Resul
         && p.at_contextual_kw("default")
         && (match p.nth(1) {
             T![impl] => true,
-            T![fn] | T![type] => {
+            T![unsafe] => {
+                if T![impl] == p.nth(2) {
+                    p.bump_remap(T![default]);
+                    p.bump_remap(T![unsafe]);
+                    has_mods = true;
+                }
+                false
+            }
+            T![fn] | T![type] | T![const] => {
                 if let ItemFlavor::Mod = flavor {
                     true
                 } else {
@@ -187,6 +195,9 @@ pub(super) fn maybe_item(p: &mut Parser, m: Marker, flavor: ItemFlavor) -> Resul
         // test default_impl
         // default impl Foo {}
 
+        // test default_unsafe_impl
+        // default unsafe impl Foo {}
+
         // test_err default_fn_type
         // trait T {
         //     default type T = Bar;
@@ -199,6 +210,19 @@ pub(super) fn maybe_item(p: &mut Parser, m: Marker, flavor: ItemFlavor) -> Resul
         //     default fn foo() {}
         // }
 
+        // test_err default_const
+        // trait T {
+        //   default const f: u8 = 0;
+        // }
+
+        // test default_const
+        // impl T for Foo {
+        //   default const f: u8 = 0;
+        // }
+        T![const] => {
+            consts::const_def(p, m);
+        }
+
         // test unsafe_default_impl
         // unsafe default impl Foo {}
         T![impl] => {
diff --git a/crates/ra_syntax/test_data/parser/inline/err/0010_wrong_order_fns.rast b/crates/ra_syntax/test_data/parser/inline/err/0010_wrong_order_fns.rast
index 9be441110..53f7ebaf9 100644
--- a/crates/ra_syntax/test_data/parser/inline/err/0010_wrong_order_fns.rast
+++ b/crates/ra_syntax/test_data/parser/inline/err/0010_wrong_order_fns.rast
@@ -17,23 +17,29 @@ [email protected]
       [email protected] "{"
       [email protected] "}"
   [email protected] "\n"
-  ERROR@25..31
+  CONST_DEF@25..46
     [email protected] "unsafe"
-  [email protected] " "
-  [email protected]
+    [email protected] " "
     [email protected] "const"
     [email protected] " "
-    [email protected] "fn"
+    [email protected]
+      [email protected] "fn"
     [email protected] " "
-    [email protected]
-      [email protected] "bar"
-    [email protected]
-      [email protected] "("
-      [email protected] ")"
-    [email protected] " "
-    [email protected]
-      [email protected] "{"
-      [email protected] "}"
+    [email protected]
+      [email protected]
+        [email protected]
+          [email protected]
+            [email protected] "bar"
+          [email protected]
+            [email protected] "("
+            [email protected] ")"
+  [email protected] " "
+  [email protected]
+    [email protected] "{"
+    [email protected] "}"
   [email protected] "\n"
 error 6..6: expected existential, fn, trait or impl
-error 31..31: expected existential, fn, trait or impl
+error 38..38: expected a name
+error 40..40: expected COLON
+error 46..46: expected SEMICOLON
+error 47..47: expected an item