diff options
Diffstat (limited to 'test/files/pos/t1263')
-rw-r--r-- | test/files/pos/t1263/Test.java | 16 | ||||
-rw-r--r-- | test/files/pos/t1263/test.scala | 10 |
2 files changed, 26 insertions, 0 deletions
diff --git a/test/files/pos/t1263/Test.java b/test/files/pos/t1263/Test.java new file mode 100644 index 0000000000..0eb43e881a --- /dev/null +++ b/test/files/pos/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/pos/t1263/test.scala b/test/files/pos/t1263/test.scala new file mode 100644 index 0000000000..92d8c1cdfa --- /dev/null +++ b/test/files/pos/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 + } +} + |