JS: Accept that types may degrade CG precision

asger-semmle · asger-semmle · commit b392559b3977 · 2019-10-09T12:16:11.000+01:00
diff --git a/javascript/ql/test/library-tests/TypeScript/CallGraph/CallGraph.expected b/javascript/ql/test/library-tests/TypeScript/CallGraph/CallGraph.expected
@@ -1,4 +1,5 @@
 | tst.ts:4:5:4:21 | x.method("Hello") | tst.ts:15:3:17:3 | public  ... x);\\n  } |
 | tst.ts:9:17:9:33 | new AngryLogger() | tst.ts:20:34:20:33 | (...arg ... rgs); } |
+| tst.ts:10:5:10:49 | (newLog ... hello") | tst.ts:15:3:17:3 | public  ... x);\\n  } |
 | tst.ts:10:5:10:49 | (newLog ... hello") | tst.ts:21:3:23:3 | public  ... ");\\n  } |
 | tst.ts:20:34:20:33 | super(...args) | tst.ts:14:14:14:13 | () {} |
diff --git a/javascript/ql/test/library-tests/TypeScript/CallGraph/tst.ts b/javascript/ql/test/library-tests/TypeScript/CallGraph/tst.ts
@@ -4,7 +4,7 @@ class MyClass {
     x.method("Hello");
 
     // Resolve based on local dataflow.
-    // Type information should not degrade call graph precision.
+    // Type information may degrade call graph precision.
     var newLogger: Logger;
     newLogger = new AngryLogger();
     (newLogger as Logger).method("I said, hello");
