1 files changed, 12 insertions, 0 deletions
diff --git a/test/files/neg/t1432.scala b/test/files/neg/t1432.scala
new file mode 100644
index 0000000000..638f36554f
--- /dev/null
+++ b/test/files/neg/t1432.scala
@@ -0,0 +1,12 @@
+object Bug_NoUnique {
+
+  type TypeCon[Env] = (Int, Env=>Double)
+
+  case class Wrap[E](parent:E) {}
+
+  def wrap[E,A,Y](v : (A,E=>Y)) : (A,Wrap[E]=>Y) =
+	throw new Error("Body here")
+
+  def test(x : TypeCon[Wrap[Unit]]) : TypeCon[Unit] = wrap(x)
+}
+