2 files changed, 18 insertions, 0 deletions
diff --git a/test/files/pos5/t1711/Seq.scala b/test/files/pos5/t1711/Seq.scala
new file mode 100644
index 0000000000..c18f05cd73
--- /dev/null
+++ b/test/files/pos5/t1711/Seq.scala
@@ -0,0 +1,12 @@
+package com
+
+object Sequence {
+
+  def filteringFunction[V](filter: V => Boolean): List[V] => List[V] = {
+    def include(v: V) =
+      filter(v)
+    (l: List[V]) => l.filter(include)
+  }
+
+}
+
diff --git a/test/files/pos5/t1711/Test.java b/test/files/pos5/t1711/Test.java
new file mode 100644
index 0000000000..5ec0f2297c
--- /dev/null
+++ b/test/files/pos5/t1711/Test.java
@@ -0,0 +1,6 @@
+import com.Sequence;
+
+public class Test {
+  void foo() {
+  }
+}