ListenerOverload Test

test/javFiles/ListenerOverload.jav

@@ -0,0 +1,20 @@
+import java.lang.Integer;
+import java.lang.String;
+
+class ListenerOverload{
+
+call(p){
+    call(p.left);
+    call(p.right);
+}
+
+call(Integer i){}
+
+call(String s){}
+
+}
+
+class Pair<A,B>{
+    A left;
+    B right;
+}

test/typeinference/JavaTXCompilerTest.java

@@ -104,6 +104,10 @@ public class JavaTXCompilerTest {
     public void multipleSolutions() throws IOException, ClassNotFoundException {
         execute(new File(rootDirectory+"Sorting.jav"));
     }
+    @Test
+    public void listenerTest() throws IOException, ClassNotFoundException {
+        execute(new File(rootDirectory+"ListenerOverload.jav"));
+    }
 
     private static class TestResultSet{