Make keyword precedence exhaustive

Author: kimdv

Sources/SwiftParser/TokenPrecedence.swift

@@ -192,47 +192,266 @@ enum TokenPrecedence: Comparable {
     case  // Literals
     .Self, .false, .nil, .`self`, .super, .true:
       self = .identifierLike
+
     // MARK: Expr keyword
     case  // Keywords
-    .as, .is, .try,
+    .as, .is, .some, .try,
+      .await, .reasync, .async,
       // We don't know much about which contextual keyword it is, be conservative an allow considering it as unexpected.
       // Keywords in function types (we should be allowed to skip them inside parenthesis)
       .rethrows, .throws,
       // Consider 'any' a prefix operator to a type and a type is expression-like.
       .Any,
       // 'where' can only occur in the signature of declarations. Consider the signature expression-like.
       .where,
+      .each,
       // 'in' occurs in closure input/output definitions and for loops. Consider both constructs expression-like.
       .in:
       self = .exprKeyword
+
     case  // Control-flow constructs
     .defer, .do, .for, .guard, .if, .repeat, .switch, .while,
       // Secondary parts of control-flow constructs
       .case, .catch, .default, .else,
       // Return-like statements
       .break, .continue, .fallthrough, .return, .throw, .then, .yield:
       self = .stmtKeyword
+
     // MARK: Decl keywords
     case  // Types
-    .associatedtype, .class, .enum, .extension, .protocol, .struct, .typealias,
+    .associatedtype, .class, .enum, .extension, .protocol, .struct, .typealias, .actor, .Sendable,
       // Access modifiers
       .fileprivate, .internal, .private, .public, .static,
       // Functions
       .deinit, .func, .`init`, .subscript,
       // Variables
-      .let, .var,
+      .let, .var, .weak,
       // Operator stuff
       .operator, .precedencegroup,
       // Declaration Modifiers
       .__consuming, .final, .required, .optional, .lazy, .dynamic, .infix, .postfix, .prefix, .mutating, .nonmutating, .convenience, .override, .package, .open,
-      .__setter_access, .indirect, .nonisolated, .distributed, ._local,
-      .inout, ._mutating, ._borrowing, ._consuming,
+      .__setter_access, .indirect, .isolated, .nonisolated, .distributed, .unchecked, ._local,
+      .inout, ._mutating, ._borrow, ._borrowing, .borrowing, ._consuming, .consuming, .consume,
+      ._backDeploy, .backDeployed, .inline, ._specialize, .availability, .unavailable, .deprecated, ._spi,
       // Misc
       .import:
       self = .declKeyword
-    default:
-      // Treat all keywords that weren't handled above as expression keywords as a fallback option.
-      // FIXME: We should assign a token precedence to all keywords
+
+    case .__owned:
+      self = .exprKeyword
+    case .__shared:
+      self = .exprKeyword
+    case ._alignment:
+      self = .exprKeyword
+    case ._cdecl:
+      self = .exprKeyword
+    case ._Class:
+      self = .exprKeyword
+    case ._compilerInitialized:
+      self = .exprKeyword
+    case ._const:
+      self = .exprKeyword
+    case ._documentation:
+      self = .exprKeyword
+    case ._dynamicReplacement:
+      self = .exprKeyword
+    case ._effects:
+      self = .exprKeyword
+    case ._expose:
+      self = .exprKeyword
+    case ._forward:
+      self = .exprKeyword
+    case ._implements:
+      self = .exprKeyword
+    case ._linear:
+      self = .exprKeyword
+    case ._modify:
+      self = .exprKeyword
+    case ._move:
+      self = .exprKeyword
+    case ._NativeClass:
+      self = .exprKeyword
+    case ._NativeRefCountedObject:
+      self = .exprKeyword
+    case ._noMetadata:
+      self = .exprKeyword
+    case ._nonSendable:
+      self = .exprKeyword
+    case ._objcImplementation:
+      self = .exprKeyword
+    case ._objcRuntimeName:
+      self = .exprKeyword
+    case ._opaqueReturnTypeOf:
+      self = .exprKeyword
+    case ._optimize:
+      self = .exprKeyword
+    case ._originallyDefinedIn:
+      self = .exprKeyword
+    case ._PackageDescription:
+      self = .exprKeyword
+    case ._private:
+      self = .exprKeyword
+    case ._projectedValueProperty:
+      self = .exprKeyword
+    case ._read:
+      self = .exprKeyword
+    case ._RefCountedObject:
+      self = .exprKeyword
+    case ._semantics:
+      self = .exprKeyword
+    case ._spi_available:
+      self = .exprKeyword
+    case ._swift_native_objc_runtime_base:
+      self = .exprKeyword
+    case ._Trivial:
+      self = .exprKeyword
+    case ._TrivialAtMost:
+      self = .exprKeyword
+    case ._typeEraser:
+      self = .exprKeyword
+    case ._unavailableFromAsync:
+      self = .exprKeyword
+    case ._underlyingVersion:
+      self = .exprKeyword
+    case ._UnknownLayout:
+      self = .exprKeyword
+    case ._version:
+      self = .exprKeyword
+    case .accesses:
+      self = .exprKeyword
+    case .addressWithNativeOwner:
+      self = .exprKeyword
+    case .addressWithOwner:
+      self = .exprKeyword
+    case .any:
+      self = .exprKeyword
+    case .assignment:
+      self = .exprKeyword
+    case .associativity:
+      self = .exprKeyword
+    case .attached:
+      self = .exprKeyword
+    case .autoclosure:
+      self = .exprKeyword
+    case .available:
+      self = .exprKeyword
+    case .before:
+      self = .exprKeyword
+    case .block:
+      self = .exprKeyword
+    case .canImport:
+      self = .exprKeyword
+    case .compiler:
+      self = .exprKeyword
+    case .copy:
+      self = .exprKeyword
+    case .convention:
+      self = .exprKeyword
+    case .cType:
+      self = .exprKeyword
+    case .derivative:
+      self = .exprKeyword
+    case .didSet:
+      self = .exprKeyword
+    case .differentiable:
+      self = .exprKeyword
+    case .escaping:
+      self = .exprKeyword
+    case .exclusivity:
+      self = .exprKeyword
+    case .exported:
+      self = .exprKeyword
+    case .file:
+      self = .exprKeyword
+    case .discard:
+      self = .exprKeyword
+    case .forward:
+      self = .exprKeyword
+    case .get:
+      self = .exprKeyword
+    case .higherThan:
+      self = .exprKeyword
+    case .initializes:
+      self = .exprKeyword
+    case .introduced:
+      self = .exprKeyword
+    case .kind:
+      self = .exprKeyword
+    case .left:
+      self = .exprKeyword
+    case .line:
+      self = .exprKeyword
+    case .linear:
+      self = .exprKeyword
+    case .lowerThan:
+      self = .exprKeyword
+    case .macro:
+      self = .exprKeyword
+    case .message:
+      self = .exprKeyword
+    case .metadata:
+      self = .exprKeyword
+    case .module:
+      self = .exprKeyword
+    case .mutableAddressWithNativeOwner:
+      self = .exprKeyword
+    case .mutableAddressWithOwner:
+      self = .exprKeyword
+    case .noasync:
+      self = .exprKeyword
+    case .noDerivative:
+      self = .exprKeyword
+    case .noescape:
+      self = .exprKeyword
+    case .none:
+      self = .exprKeyword
+    case .objc:
+      self = .exprKeyword
+    case .obsoleted:
+      self = .exprKeyword
+    case .of:
+      self = .exprKeyword
+    case .Protocol:
+      self = .exprKeyword
+    case .renamed:
+      self = .exprKeyword
+    case .reverse:
+      self = .exprKeyword
+    case .right:
+      self = .exprKeyword
+    case .safe:
+      self = .exprKeyword
+    case .set:
+      self = .exprKeyword
+    case .sourceFile:
+      self = .exprKeyword
+    case .spi:
+      self = .exprKeyword
+    case .spiModule:
+      self = .exprKeyword
+    case .swift:
+      self = .exprKeyword
+    case .target:
+      self = .exprKeyword
+    case .transpose:
+      self = .exprKeyword
+    case .Type:
+      self = .exprKeyword
+    case .unowned:
+      self = .exprKeyword
+    case .unsafeAddress:
+      self = .exprKeyword
+    case .unsafeMutableAddress:
+      self = .exprKeyword
+    case .visibility:
+      self = .exprKeyword
+    case .willSet:
+      self = .exprKeyword
+    case .witness_method:
+      self = .exprKeyword
+    case .wrt:
+      self = .exprKeyword
+    case .unsafe:
       self = .exprKeyword
     }
   }