From 5708e9d73ba01c286d7155606b72caeab914face Mon Sep 17 00:00:00 2001
From: Paul Phillips <paulp@improving.org>
Date: Tue, 1 Oct 2013 20:28:48 -0700
Subject: SI-6680 unsoundness in gadt typing.

Introduces -Xstrict-inference to deal with the significant
gap between soundness and what presently compiles. I'm hopeful
that it's TOO strict, because it finds e.g. 75 errors compiling
immutable/IntMap.scala, but it might be that bad.
---
 test/files/run/patmatnew.scala | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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

diff --git a/test/files/run/patmatnew.scala b/test/files/run/patmatnew.scala
index 35b733d080..b212e10f8d 100644
--- a/test/files/run/patmatnew.scala
+++ b/test/files/run/patmatnew.scala
@@ -114,7 +114,7 @@ object Test {
     val foo2 = new Foo(2)
     def run() {
       val res = (foo1.Bar(2): Any) match {
-        case foo2.Bar(2) => false
+
         case foo1.Bar(2) => true
       }
       assert(res)
-- 
cgit v1.2.3