1 files changed, 17 insertions, 0 deletions
diff --git a/tests/untried/pos/t1263/Test.java b/tests/untried/pos/t1263/Test.java
new file mode 100644
index 000000000..1718a9909
--- /dev/null
+++ b/tests/untried/pos/t1263/Test.java
@@ -0,0 +1,17 @@
+package test;
+
+import java.rmi.RemoteException;
+
+import test.Map;
+
+@SuppressWarnings("unchecked")
+public class Test implements Map<String, String> {
+  public Map.MapTo plus(String o) {
+    return null;
+  }
+
+  public int $tag() throws RemoteException {
+    return 0;
+  }
+}
+