From 0ee11c38762844fa78bf2fd0861680c4b6ac2e8e Mon Sep 17 00:00:00 2001
From: Antonio Cunei <antonio.cunei@epfl.ch>
Date: Tue, 17 Feb 2009 16:16:03 +0000
Subject: Test for #1711

---
 test/files/pos5/t1711/Seq.scala | 12 ++++++++++++
 test/files/pos5/t1711/Test.java |  6 ++++++
 2 files changed, 18 insertions(+)
 create mode 100644 test/files/pos5/t1711/Seq.scala
 create mode 100644 test/files/pos5/t1711/Test.java

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() {
+  }
+}
-- 
cgit v1.2.3