fixed bug875

3 files changed, 24 insertions, 0 deletions

diff --git a/test/files/pos/bug873.scala b/test/files/pos/bug873.scala
new file mode 100755
index 0000000000..b8c50afd35
--- /dev/null
+++ b/test/files/pos/bug873.scala
@@ -0,0 +1,10 @@
+abstract class Foo {
+
+  val x:Option[List[String]]
+  val y:List[Int]
+
+  val z = (0:Any) match {
+    case 1 => x
+    case 2 => y
+  }
+}
diff --git a/test/files/pos/bug880.scala b/test/files/pos/bug880.scala
new file mode 100755
index 0000000000..cceb53c398
--- /dev/null
+++ b/test/files/pos/bug880.scala
@@ -0,0 +1,6 @@
+import scala.xml.Null
+
+class Test[A >: Null]
+{
+    val x : A = null
+}
diff --git a/test/files/pos/unapply.scala b/test/files/pos/unapply.scala
new file mode 100755
index 0000000000..17577ef991
--- /dev/null
+++ b/test/files/pos/unapply.scala
@@ -0,0 +1,8 @@
+object Test {
+  val xs = List(1)
+  val f: int = {
+    xs match {
+      case List(x) => x
+    }
+  }
+}