diff options
Diffstat (limited to 'tests/patmat/virtpatmat_exhaust_compound.scala.ignore')
-rw-r--r-- | tests/patmat/virtpatmat_exhaust_compound.scala.ignore | 29 |
1 files changed, 29 insertions, 0 deletions
diff --git a/tests/patmat/virtpatmat_exhaust_compound.scala.ignore b/tests/patmat/virtpatmat_exhaust_compound.scala.ignore new file mode 100644 index 000000000..4ff04dd06 --- /dev/null +++ b/tests/patmat/virtpatmat_exhaust_compound.scala.ignore @@ -0,0 +1,29 @@ +sealed trait Base +case object O1 extends Base +case object O2 extends Base { + def foo: Int = 0 +} + +sealed trait Base2 +case object O3 extends Base2 + +case object O4 extends Base with Base2 + +object Test { + val a /*: Product with Serializable with Base */ = if (true) O1 else O2 + a match { + case null => + } + + def t1(a: Product with Base with Base2) = a match { + case null => // O1..O3 should *not* be possible here + } + + def t2(a: Product with Base { def foo: Int }) = a match { + case null => // O2 in the domain + } + + def t3(a: Product with Base { def bar: Int }) = a match { + case null => // nothing in the domain + } +} |