diff --git a/java/ql/test/library-tests/typeflow/A.java b/java/ql/test/library-tests/typeflow/A.java index ad19901f151..751ad525d15 100644 --- a/java/ql/test/library-tests/typeflow/A.java +++ b/java/ql/test/library-tests/typeflow/A.java @@ -118,4 +118,12 @@ public class A extends ArrayList { default -> { } } } + + private static T lookupFoo(Map m) { + return m.get("foo"); + } + + public void m11(Map m) { + lookupFoo(m); + } } diff --git a/java/ql/test/library-tests/typeflow/typeflow.expected b/java/ql/test/library-tests/typeflow/typeflow.expected index f0cb2356cb8..03dcb0e0766 100644 --- a/java/ql/test/library-tests/typeflow/typeflow.expected +++ b/java/ql/test/library-tests/typeflow/typeflow.expected @@ -18,5 +18,6 @@ | A.java:112:23:112:24 | cs | String | false | | A.java:116:13:116:14 | o2 | String | false | | A.java:117:49:117:50 | cs | String | false | +| A.java:123:12:123:12 | m | Map | false | | UnionTypes.java:45:7:45:7 | x | Inter | false | | UnionTypes.java:48:23:48:23 | x | Inter | false |