use typeLabel instead of typeDecl

erik-krogh · asgerf · web-flow · commit 0f87a89fd117 · 2020-08-17T15:31:41.000+02:00
Co-authored-by: Asger F &lt;asgerf@github.com&gt;
diff --git a/javascript/extractor/src/com/semmle/js/extractor/ASTExtractor.java b/javascript/extractor/src/com/semmle/js/extractor/ASTExtractor.java
@@ -1821,7 +1821,7 @@ public Label visit(TupleTypeExpr nd, Context c) {
       Label key = super.visit(nd, c);
       if (nd.getElementNames() != null) {
         // Element names are index -1, -2, -3...
-        visitAll(nd.getElementNames(), key, IdContext.typeDecl, -1, -1);
+        visitAll(nd.getElementNames(), key, IdContext.typeLabel, -1, -1);
       }
       visitAll(nd.getElementTypes(), key, IdContext.typeBind, 0);
       return key;

Original file line number	Diff line number	Diff line change
`@@ -1821,7 +1821,7 @@ public Label visit(TupleTypeExpr nd, Context c) {`
`1821`	`1821`	`Label key = super.visit(nd, c);`
`1822`	`1822`	`if (nd.getElementNames() != null) {`
`1823`	`1823`	`// Element names are index -1, -2, -3...`
`1824`		`- visitAll(nd.getElementNames(), key, IdContext.typeDecl, -1, -1);`
	`1824`	`+ visitAll(nd.getElementNames(), key, IdContext.typeLabel, -1, -1);`
`1825`	`1825`	`}`
`1826`	`1826`	`visitAll(nd.getElementTypes(), key, IdContext.typeBind, 0);`
`1827`	`1827`	`return key;`