Merge pull request #1364 from dotty-staging/exhaustivity2

Implementation of exhaustivity and redundancy check

1 files changed, 30 insertions, 0 deletions

diff --git a/tests/patmat/patmat-indent.scala b/tests/patmat/patmat-indent.scala
new file mode 100644
index 000000000..ef25bb2c7
--- /dev/null
+++ b/tests/patmat/patmat-indent.scala
@@ -0,0 +1,30 @@
+object Test {
+  val Nil = scala.Nil
+  val X = 5
+
+  object Inner {
+    val Y = false
+  }
+
+  def foo1a[T](l: List[T]) = l match {
+    case x::xs => false
+  }
+
+  def foo1b[T](l: List[T]) = l match {
+    case Nil => true
+    case x::xs => false
+  }
+
+  def foo1c[T](l: List[T]) = l match {
+    case Test.Nil => true
+    case x::xs => false
+  }
+
+  def foo2(b: Boolean) = b match {
+    case Inner.Y => false
+  }
+
+  def foo3(x: Int) = x match {
+    case X => 0
+  }
+}
\ No newline at end of file