Emit a single diagnostic if # and a non-identifier token are separate by a space

Author: ahoppen

Sources/SwiftParserDiagnostics/ParseDiagnosticsGenerator.swift

@@ -303,20 +303,35 @@ public class ParseDiagnosticsGenerator: SyntaxAnyVisitor {
       !unexpected.trailingTrivia.isEmpty,
       token.isMissing
     {
-      let fixIt = FixIt(
-        message: .removeExtraneousWhitespace,
-        changes: [
-          .makeMissing(unexpected, transferTrivia: false),  // don't transfer trivia because trivia is the issue here
-          .makePresent(token, leadingTrivia: unexpected.leadingTrivia),
-        ]
-      )
-      addDiagnostic(
-        token,
-        position: unexpected.endPositionBeforeTrailingTrivia,
-        ExtraneousWhitespace(tokenWithWhitespace: unexpected),
-        fixIts: [fixIt],
-        handledNodes: [token.id, unexpected.id]
-      )
+      let changes: [FixIt.MultiNodeChange] = [
+        .makeMissing(unexpected, transferTrivia: false),  // don't transfer trivia because trivia is the issue here
+        .makePresent(token, leadingTrivia: unexpected.leadingTrivia),
+      ]
+      if let nextToken = token.nextToken(viewMode: .all),
+        nextToken.isMissing
+      {
+        // If the next token is missing, the problem here isn’t actually the
+        // space after token but that the missing token should be added after
+        // `token` without a space. Generate a diagnsotic for that.
+        _ = handleMissingSyntax(
+          nextToken,
+          overridePosition: unexpected.endPositionBeforeTrailingTrivia,
+          additionalChanges: changes,
+          additionalHandledNodes: [unexpected.id, token.id]
+        )
+      } else {
+        let fixIt = FixIt(
+          message: .removeExtraneousWhitespace,
+          changes: changes
+        )
+        addDiagnostic(
+          token,
+          position: unexpected.endPositionBeforeTrailingTrivia,
+          ExtraneousWhitespace(tokenWithWhitespace: unexpected),
+          fixIts: [fixIt],
+          handledNodes: [token.id, unexpected.id]
+        )
+      }
     }
   }
 

Tests/SwiftParserTest/RegexLiteralTests.swift

@@ -753,11 +753,10 @@ final class RegexLiteralTests: XCTestCase {
   func testBinOpDisambiguation26() {
     assertParse(
       """
-      #1️⃣ 2️⃣/^ x/
+      #1️⃣ /^ x/
       """,
       diagnostics: [
-        DiagnosticSpec(locationMarker: "1️⃣", message: "extraneous whitespace after '#' is not permitted", fixIts: ["remove whitespace"]),
-        DiagnosticSpec(locationMarker: "2️⃣", message: "expected identifier in macro expansion", fixIts: ["insert identifier"]),
+        DiagnosticSpec(message: "expected identifier in macro expansion", fixIts: ["insert identifier"])
       ],
       fixedSource: """
         #<#identifier#> /^ x/