unreserve pragma keywords in all versions (#801)

More context:
#661 (comment)

.changeset/afraid-waves-move.md

@@ -0,0 +1,5 @@
+---
+"@nomicfoundation/slang": patch
+---
+
+unreserve pragma keywords in all versions

crates/codegen/parser/generator/src/trie.rs

@@ -151,6 +151,7 @@ impl Payload for KeywordScannerAtomic {
         // Simplify the emitted code if we trivially know that reserved or enabled is true
         match (&*reserved_cond.to_string(), &*enabled_cond.to_string()) {
             ("true", _) => quote!(KeywordScan::Reserved(TokenKind::#kind)),
+            ("false", "true") => quote!(KeywordScan::Present(TokenKind::#kind)),
             ("false", _) => quote! {
                 if #enabled_cond {
                     KeywordScan::Present(TokenKind::#kind)

crates/solidity/inputs/language/src/definition.rs

@@ -196,19 +196,28 @@ codegen_language_macros::compile!(Language(
                             )]
                         ),
                         Keyword(
-                            name = SolidityKeyword,
+                            name = AbicoderKeyword,
                             identifier = Identifier,
-                            definitions = [KeywordDefinition(value = Atom("solidity"))]
+                            definitions = [KeywordDefinition(
+                                reserved = Never,
+                                value = Atom("abicoder")
+                            )]
                         ),
                         Keyword(
                             name = ExperimentalKeyword,
                             identifier = Identifier,
-                            definitions = [KeywordDefinition(value = Atom("experimental"))]
+                            definitions = [KeywordDefinition(
+                                reserved = Never,
+                                value = Atom("experimental")
+                            )]
                         ),
                         Keyword(
-                            name = AbicoderKeyword,
+                            name = SolidityKeyword,
                             identifier = Identifier,
-                            definitions = [KeywordDefinition(value = Atom("abicoder"))]
+                            definitions = [KeywordDefinition(
+                                reserved = Never,
+                                value = Atom("solidity")
+                            )]
                         )
                     ]
                 ),

crates/solidity/testing/snapshots/cst_output/VariableDeclarationStatement/keyword_abicoder/generated/0.4.11-success.yml

@@ -0,0 +1,19 @@
+# This file is generated automatically by infrastructure scripts. Please don't edit by hand.
+
+Source: >
+  1  │ // Always valid as an identifier (never reserved):                               │ 0..50
+  2  │ uint abicoder;                                                                   │ 51..65
+
+Errors: []
+
+Tree:
+  - (VariableDeclarationStatement): # "// Always valid as an identifier (never reserved):..." (0..66)
+      - (variable_type꞉ VariableDeclarationType) ► (variant꞉ TypeName) ► (variant꞉ ElementaryType): # "// Always valid as an identifier (never reserved):..." (0..55)
+          - (LeadingTrivia): # "// Always valid as an identifier (never reserved):..." (0..51)
+              - (SingleLineComment): "// Always valid as an identifier (never reserved):" # (0..50)
+              - (EndOfLine): "\n" # (50..51)
+          - (variant꞉ UintKeyword): "uint" # (51..55)
+      - (LeadingTrivia) ► (Whitespace): " " # (55..56)
+      - (name꞉ Identifier): "abicoder" # (56..64)
+      - (semicolon꞉ Semicolon): ";" # (64..65)
+      - (TrailingTrivia) ► (EndOfLine): "\n" # (65..66)

crates/solidity/testing/snapshots/cst_output/VariableDeclarationStatement/keyword_abicoder/input.sol

@@ -0,0 +1,2 @@
+// Always valid as an identifier (never reserved):
+uint abicoder;

crates/solidity/testing/snapshots/cst_output/VariableDeclarationStatement/keyword_experimental/generated/0.4.11-success.yml

@@ -0,0 +1,19 @@
+# This file is generated automatically by infrastructure scripts. Please don't edit by hand.
+
+Source: >
+  1  │ // Always valid as an identifier (never reserved):                               │ 0..50
+  2  │ uint experimental;                                                               │ 51..69
+
+Errors: []
+
+Tree:
+  - (VariableDeclarationStatement): # "// Always valid as an identifier (never reserved):..." (0..70)
+      - (variable_type꞉ VariableDeclarationType) ► (variant꞉ TypeName) ► (variant꞉ ElementaryType): # "// Always valid as an identifier (never reserved):..." (0..55)
+          - (LeadingTrivia): # "// Always valid as an identifier (never reserved):..." (0..51)
+              - (SingleLineComment): "// Always valid as an identifier (never reserved):" # (0..50)
+              - (EndOfLine): "\n" # (50..51)
+          - (variant꞉ UintKeyword): "uint" # (51..55)
+      - (LeadingTrivia) ► (Whitespace): " " # (55..56)
+      - (name꞉ Identifier): "experimental" # (56..68)
+      - (semicolon꞉ Semicolon): ";" # (68..69)
+      - (TrailingTrivia) ► (EndOfLine): "\n" # (69..70)

crates/solidity/testing/snapshots/cst_output/VariableDeclarationStatement/keyword_experimental/input.sol

@@ -0,0 +1,2 @@
+// Always valid as an identifier (never reserved):
+uint experimental;

crates/solidity/testing/snapshots/cst_output/VariableDeclarationStatement/keyword_solidity/generated/0.4.11-success.yml

@@ -0,0 +1,19 @@
+# This file is generated automatically by infrastructure scripts. Please don't edit by hand.
+
+Source: >
+  1  │ // Always valid as an identifier (never reserved):                               │ 0..50
+  2  │ uint solidity;                                                                   │ 51..65
+
+Errors: []
+
+Tree:
+  - (VariableDeclarationStatement): # "// Always valid as an identifier (never reserved):..." (0..66)
+      - (variable_type꞉ VariableDeclarationType) ► (variant꞉ TypeName) ► (variant꞉ ElementaryType): # "// Always valid as an identifier (never reserved):..." (0..55)
+          - (LeadingTrivia): # "// Always valid as an identifier (never reserved):..." (0..51)
+              - (SingleLineComment): "// Always valid as an identifier (never reserved):" # (0..50)
+              - (EndOfLine): "\n" # (50..51)
+          - (variant꞉ UintKeyword): "uint" # (51..55)
+      - (LeadingTrivia) ► (Whitespace): " " # (55..56)
+      - (name꞉ Identifier): "solidity" # (56..64)
+      - (semicolon꞉ Semicolon): ";" # (64..65)
+      - (TrailingTrivia) ► (EndOfLine): "\n" # (65..66)

crates/solidity/testing/snapshots/cst_output/VariableDeclarationStatement/keyword_solidity/input.sol

@@ -0,0 +1,2 @@
+// Always valid as an identifier (never reserved):
+uint solidity;