syntax: Avoid highlighting non-creusot uses of invariant|requires|ens…

…ures|variant
creusot-rs · Dec 5, 2024 · 09d8091 · 09d8091
1 parent 50bcebc
commit 09d8091
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/vscode/syntaxes/pearlite-rust.json b/vscode/syntaxes/pearlite-rust.json
@@ -46,7 +46,7 @@
             }
         },
         {
-            "begin": "\\b(invariant|requires|ensures|variant)\\s*\\(",
+            "begin": "\\b(?<=#\\[\\s*)(invariant|requires|ensures|variant)\\s*\\(",
             "end": "\\)",
             "contentName": "meta.embedded.block.pearlite source.pearlite",
             "beginCaptures": {
@@ -57,7 +57,7 @@
             ]
         },
         {
-            "match": "\\b(?:invariant|requires|ensures|variant)\\b",
+            "match": "\\b(?<=#\\[\\s*)(?:invariant|requires|ensures|variant)\\b",
             "name": "keyword.control"
         }
     ]