Merge #6606

6606: Parse unsafe extern block r=lnicola a=dtolnay

`unsafe extern` block is parsed successfully by rustc, which means it is usable in attribute macro input.
https://play.rust-lang.org/?version=stable&mode=debug&edition=2018&gist=6f805556f176d082d87255957f16b5f6

```rust
#[cfg(parse)]
unsafe extern "C++" {
    fn demo();
}
```

```diff
  [email protected]
-   [email protected]
+   [email protected]
      [email protected]
        [email protected] "#"
        [email protected] "["
        [email protected]
          [email protected]
            [email protected]
              [email protected] "cfg"
        [email protected]
          [email protected] "("
          [email protected] "parse"
          [email protected] ")"
        [email protected] "]"
      [email protected] "\n"
      [email protected] "unsafe"
      [email protected] " "
      [email protected]
        [email protected] "extern"
        [email protected] " "
        [email protected] "\"C++\""
-   [email protected] " "
-   [email protected]
-     [email protected] "{"
-     [email protected] "\n    "
-     [email protected]
-       [email protected] "fn"
-       [email protected] " "
-       [email protected]
-         [email protected] "demo"
-       [email protected]
-         [email protected] "("
-         [email protected] ")"
-       [email protected] ";"
-     [email protected] "\n"
-     [email protected] "}"
+     [email protected] " "
+     [email protected]
+       [email protected] "{"
+       [email protected] "\n    "
+       [email protected]
+         [email protected] "fn"
+         [email protected] " "
+         [email protected]
+           [email protected] "demo"
+         [email protected]
+           [email protected] "("
+           [email protected] ")"
+         [email protected] ";"
+       [email protected] "\n"
+       [email protected] "}"
```

This is of interest for https://github.com/dtolnay/cxx.

Co-authored-by: David Tolnay <[email protected]>

1 files changed, 9 insertions, 1 deletions

diff --git a/crates/parser/src/grammar/items.rs b/crates/parser/src/grammar/items.rs
index 780bc470a..ad29b82f7 100644
--- a/crates/parser/src/grammar/items.rs
+++ b/crates/parser/src/grammar/items.rs
@@ -112,7 +112,7 @@ pub(super) fn maybe_item(p: &mut Parser, m: Marker) -> Result<(), Marker> {
         has_mods = true;
     }
 
-    if p.at(T![extern]) {
+    if p.at(T![extern]) && p.nth(1) != T!['{'] && (p.nth(1) != STRING || p.nth(2) != T!['{']) {
         has_mods = true;
         abi(p);
     }
@@ -181,6 +181,14 @@ pub(super) fn maybe_item(p: &mut Parser, m: Marker) -> Result<(), Marker> {
         T![type] => {
             type_alias(p, m);
         }
+
+        // unsafe extern "C" {}
+        T![extern] => {
+            abi(p);
+            extern_item_list(p);
+            m.complete(p, EXTERN_BLOCK);
+        }
+
         _ => {
             if !has_visibility && !has_mods {
                 return Err(m);