From b9785280a7138a2bb52060faf94807aa0d07dec1 Mon Sep 17 00:00:00 2001 From: Paul Phillips Date: Wed, 24 Aug 2011 17:11:55 +0000 Subject: Renamed tests named bugXXX to tXXX, no review. --- test/files/neg/t1432.scala | 12 ++++++++++++ 1 file changed, 12 insertions(+) create mode 100644 test/files/neg/t1432.scala (limited to 'test/files/neg/t1432.scala') 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) +} + -- cgit v1.2.3