Test from some of Ismael's tickets.

3 files changed, 35 insertions, 0 deletions

diff --git a/test/files/pos5/t1235/Test.java b/test/files/pos5/t1235/Test.java
new file mode 100644
index 0000000000..7bb83a8491
--- /dev/null
+++ b/test/files/pos5/t1235/Test.java
@@ -0,0 +1,9 @@
+import scala.collection.immutable.HashMap;
+
+public class Test {
+
+  void foo() {
+    new HashMap<String, String>();
+  }
+}
+
diff --git a/test/files/pos5/t1263/Test.java b/test/files/pos5/t1263/Test.java
new file mode 100644
index 0000000000..0eb43e881a
--- /dev/null
+++ b/test/files/pos5/t1263/Test.java
@@ -0,0 +1,16 @@
+package test;
+
+import java.rmi.RemoteException;
+
+import test.Map;
+
+public class Test implements Map<String, String> {
+  public Map<String, String>.MapTo plus(String o) {
+    return null;
+  }
+
+  public int $tag() throws RemoteException {
+    return 0;
+  }
+}
+
diff --git a/test/files/pos5/t1263/test.scala b/test/files/pos5/t1263/test.scala
new file mode 100644
index 0000000000..92d8c1cdfa
--- /dev/null
+++ b/test/files/pos5/t1263/test.scala
@@ -0,0 +1,10 @@
+package test
+
+trait Map[A, +B] {
+  def plus(key: A): MapTo = new MapTo(key)
+
+  class MapTo(key: A) {
+    def arrow [B1 >: B](value: B1) = null
+  }
+}
+