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