Test case closes #1432, no review.

git-svn-id: http://lampsvn.epfl.ch/svn-repos/scala/scala/trunk@25279 5e8d7ff9-d8ef-0310-90f0-a4852d11357a

test/files/neg/bug1432.check

@@ -0,0 +1,6 @@
+bug1432.scala:10: error: type mismatch;
+ found   : (Int, Bug_NoUnique.Wrap[Bug_NoUnique.Wrap[Unit]] => Double)
+ required: (Int, Unit => Double)
+  def test(x : TypeCon[Wrap[Unit]]) : TypeCon[Unit] = wrap(x)
+                                                          ^
+one error found

test/files/neg/bug1432.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)
+}
+