From 124103be216976f58548500d63933e08f3dc0096 Mon Sep 17 00:00:00 2001
From: Paul Phillips <paulp@improving.org>
Date: Wed, 13 Jul 2011 06:58:39 +0000
Subject: Test case closes #1432, no review.

---
 test/files/neg/bug1432.check | 6 ++++++
 1 file changed, 6 insertions(+)
 create mode 100644 test/files/neg/bug1432.check

(limited to 'test/files/neg/bug1432.check')

diff --git a/test/files/neg/bug1432.check b/test/files/neg/bug1432.check
new file mode 100644
index 0000000000..90bba0bf13
--- /dev/null
+++ b/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
-- 
cgit v1.2.3