Java: Add test.

aschackmull · aschackmull · commit 8b555ca514bf · 2026-01-13T11:20:13.000+01:00
diff --git a/java/ql/test/library-tests/typeflow/A.java b/java/ql/test/library-tests/typeflow/A.java
@@ -118,4 +118,12 @@ public void m10(Object o) {
       default -> { }
     }
   }
+
+  private static <T> T lookupFoo(Map<String, T> m) {
+    return m.get("foo");
+  }
+
+  public void m11(Map<String, String> m) {
+    lookupFoo(m);
+  }
 }
diff --git 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<String,String> | false |
 | UnionTypes.java:45:7:45:7 | x | Inter | false |
 | UnionTypes.java:48:23:48:23 | x | Inter | false |

Original file line number	Diff line number	Diff line change
`@@ -118,4 +118,12 @@ public void m10(Object o) {`
`118`	`118`	`default -> { }`
`119`	`119`	`}`
`120`	`120`	`}`
	`121`	`+`
	`122`	`+ private static <T> T lookupFoo(Map<String, T> m) {`
	`123`	`+ return m.get("foo");`
	`124`	`+ }`
	`125`	`+`
	`126`	`+ public void m11(Map<String, String> m) {`
	`127`	`+ lookupFoo(m);`
	`128`	`+ }`
`121`	`129`	`}`