add test for block-level flow type annotations

erik-krogh · erik-krogh · commit c22d3d0b3a73 · 2020-01-03T11:07:35.000+01:00
diff --git a/javascript/ql/test/query-tests/Expressions/ExprHasNoEffect/options b/javascript/ql/test/query-tests/Expressions/ExprHasNoEffect/options
@@ -0,0 +1 @@
+semmle-extractor-options: --experimental
diff --git a/javascript/ql/test/query-tests/Expressions/ExprHasNoEffect/tst.js b/javascript/ql/test/query-tests/Expressions/ExprHasNoEffect/tst.js
@@ -72,4 +72,6 @@ function g() {
 
 	Object.defineProperty(o, "nonTrivialGetter2", unknownGetterDef());
 	o.nonTrivialGetter2; // OK
+	
+	(o: empty); // OK.
 };

Original file line number	Diff line number	Diff line change
`@@ -0,0 +1 @@`
	`1`	`+semmle-extractor-options: --experimental`