From 24943dad3c75753fec40ca1fa16583b567c520f3 Mon Sep 17 00:00:00 2001
From: Burak Emir <emir@epfl.ch>
Date: Tue, 4 Sep 2007 20:33:11 +0000
Subject: fixed odd typing bug #44

---
 test/files/run/patmatnew.scala | 22 +++++++++++++++++++++-
 1 file changed, 21 insertions(+), 1 deletion(-)

(limited to 'test/files/run/patmatnew.scala')

diff --git a/test/files/run/patmatnew.scala b/test/files/run/patmatnew.scala
index b05da464a5..a61e9eb797 100644
--- a/test/files/run/patmatnew.scala
+++ b/test/files/run/patmatnew.scala
@@ -44,7 +44,8 @@ object Test extends TestConsoleMain {
       ClassDefInGuard,
       Ticket2,
       Ticket11,
-      Ticket37
+      Ticket37,
+      Ticket44
     )
 
   class Foo(j:Int) {
@@ -628,6 +629,25 @@ object Test extends TestConsoleMain {
     override def runTest { assertEquals(this.a, 2) }
   }
 
+  // #44
+
+  trait _X {
+    case class _Foo();
+    object _Bar {
+      def unapply(foo: _Foo):Boolean = true;
+    }
+  }
+  object Y extends _X {
+    val foo = _Foo()
+    foo match {
+      case _Bar() =>
+      case _      => assert(false)
+    }
+  }
+  object Ticket44 extends TestCase("#44") {
+    override def runTest { assert(Y.toString ne null) /*instantiate Y*/ }
+  }
+
 }
 
 
-- 
cgit v1.2.3