1 files changed, 7 insertions, 0 deletions
diff --git a/test/files/neg/t563.scala b/test/files/neg/t563.scala
new file mode 100644
index 0000000000..204ad3cbdd
--- /dev/null
+++ b/test/files/neg/t563.scala
@@ -0,0 +1,7 @@
+object Test {
+    def map[A,R](a : List[A], f : A => R) : List[R] = a.map(f);
+
+    def split(sn : Iterable[List[Option[Int]]]) : Unit =
+        for (n <- sn)
+            map(n,ptr => Option(ptr.get));
+}