parse unsafe extern blocks and safe fns / static items

Author: m4rch3n1ng

grammar.js

@@ -109,6 +109,7 @@ module.exports = grammar({
     [$.parameters, $.tuple_struct_pattern],
     [$.array_expression],
     [$.visibility_modifier],
+    [$.foreign_mod_item, $.function_modifiers],
     [$.visibility_modifier, $.scoped_identifier, $.scoped_type_identifier],
   ],
 
@@ -279,6 +280,7 @@ module.exports = grammar({
     ),
 
     foreign_mod_item: $ => seq(
+      optional('unsafe'),
       optional($.visibility_modifier),
       $.extern_modifier,
       choice(
@@ -404,6 +406,7 @@ module.exports = grammar({
 
     static_item: $ => seq(
       optional($.visibility_modifier),
+      optional(choice('unsafe', 'safe')),
       'static',
 
       // Not actual rust syntax, but made popular by the lazy_static crate.
@@ -461,6 +464,7 @@ module.exports = grammar({
       'default',
       'const',
       'unsafe',
+      'safe',
       $.extern_modifier,
     )),
 

test/corpus/declarations.txt

@@ -2584,3 +2584,65 @@ pub struct Loaf<T: Sized, const N: usize = 1>([T; N]);
       (array_type
         (type_identifier)
         (identifier)))))
+
+================================================================================
+Unsafe extern blocks
+================================================================================
+
+unsafe extern "C" {
+    pub safe fn sqrt(x: f64) -> f64;
+    pub unsafe fn strlen(p: *const std::ffi::c_char) -> usize;
+    pub fn free(p: *mut core::ffi::c_void);
+    pub safe static IMPORTANT_BYTES: [u8; 256];
+}
+
+--------------------------------------------------------------------------------
+
+(source_file
+  (foreign_mod_item
+    (extern_modifier
+      (string_literal
+        (string_content)))
+    (declaration_list
+      (function_signature_item
+        (visibility_modifier)
+        (function_modifiers)
+        (identifier)
+        (parameters
+          (parameter
+            (identifier)
+            (primitive_type)))
+        (primitive_type))
+      (function_signature_item
+        (visibility_modifier)
+        (function_modifiers)
+        (identifier)
+        (parameters
+          (parameter
+            (identifier)
+            (pointer_type
+              (scoped_type_identifier
+                (scoped_identifier
+                  (identifier)
+                  (identifier))
+                (type_identifier)))))
+        (primitive_type))
+      (function_signature_item
+        (visibility_modifier)
+        (identifier)
+        (parameters
+          (parameter
+            (identifier)
+            (pointer_type
+              (mutable_specifier)
+              (scoped_type_identifier
+                (scoped_identifier
+                  (identifier)
+                  (identifier))
+                (type_identifier))))))
+      (static_item
+        (visibility_modifier)
+        (identifier)
+        (array_type
+          (primitive_type)
+          (integer_literal))))))