Merge pull request #601 from adriaanm/3f7b8b58748eb70aec4269f1ef63853b5ad4af60

virtpatmat: treemaker approximation refactorings and exhaustivity

2 files changed, 19 insertions, 0 deletions

diff --git a/test/files/run/t3097.check b/test/files/run/t3097.check
new file mode 100644
index 0000000000..63695f771b
--- /dev/null
+++ b/test/files/run/t3097.check
@@ -0,0 +1 @@
+atomic
diff --git a/test/files/run/t3097.scala b/test/files/run/t3097.scala
new file mode 100644
index 0000000000..4aaf8056ca
--- /dev/null
+++ b/test/files/run/t3097.scala
@@ -0,0 +1,18 @@
+sealed trait ISimpleValue
+
+sealed trait IListValue extends ISimpleValue
+sealed trait IAtomicValue[O] extends ISimpleValue
+
+sealed trait IAbstractDoubleValue[O] extends IAtomicValue[O]
+sealed trait IDoubleValue extends IAbstractDoubleValue[Double]
+
+case class ListValue(val items: List[IAtomicValue[_]]) extends IListValue
+class DoubleValue(val data: Double) extends IDoubleValue
+
+object Test extends App {
+  // match is exhaustive
+  (new DoubleValue(1): ISimpleValue) match {
+    case m: IListValue => println("list")
+    case a: IAtomicValue[_] => println("atomic")
+  }
+}