1 files changed, 14 insertions, 0 deletions
diff --git a/tests/bugs161/pr231187x/Main.java b/tests/bugs161/pr231187x/Main.java
new file mode 100644
index 000000000..2f98e15be
--- /dev/null
+++ b/tests/bugs161/pr231187x/Main.java
@@ -0,0 +1,14 @@
+package concrete;
+
+import java.util.*;
+
+public class Main {
+   public static void main(String[] args) {
+     ConcreteClass cc = new ConcreteClass();
+     WetCement wc = new WetCement();
+     Vector<WetCement> v = new Vector<WetCement>();
+     v.add(wc);
+     cc.addSomeTs(v);
+     System.out.println("ran!");
+   }
+}
+\ No newline at end of file