expr-parser: "for some" counts as a declaration (#496)

Author: bakkot

src/lint/rules/variable-use-def.ts

@@ -257,7 +257,8 @@ function walkAlgorithm(steps: OrderedListNode | UnorderedListNode, scope: Scope,
         const prev = parts[i - 1];
         if (
           prev.name === 'text' &&
-          /\b(?:for any |there exists |there is |there does not exist )(\w+ )*$/.test(prev.contents)
+          // prettier-ignore
+          /\b(?:for any |for some |there exists |there is |there does not exist )(\w+ )*$/.test(prev.contents)
         ) {
           scope.declare(varName, part);
           declaredThisLine.add(part);

test/lint-variable-use-def.js

@@ -368,6 +368,17 @@ describe('variables are declared and used appropriately', () => {
       );
     });
 
+    it('"for some" counts as a declaration"', async () => {
+      await assertLintFree(
+        `
+          <emu-alg>
+            1. If some property of _i_ holds for some integer _i_ in the interval from 0 to 10, return _i_.
+            1. Return -1.
+          </emu-alg>
+        `
+      );
+    });
+
     it('declarations from explicit attributes are visible', async () => {
       await assertLintFree(
         `