aboutsummaryrefslogtreecommitdiff
path: root/tests/patmat/t9289.scala
diff options
context:
space:
mode:
Diffstat (limited to 'tests/patmat/t9289.scala')
-rw-r--r--tests/patmat/t9289.scala28
1 files changed, 28 insertions, 0 deletions
diff --git a/tests/patmat/t9289.scala b/tests/patmat/t9289.scala
new file mode 100644
index 000000000..714a4a0e3
--- /dev/null
+++ b/tests/patmat/t9289.scala
@@ -0,0 +1,28 @@
+trait Module {
+ sealed trait Tree
+
+ case class LetL() extends Tree
+ case class LetR() extends Tree
+}
+
+class Patmat[T <: Module](val module: T) {
+ def patmat(tree: module.Tree) = tree match {
+ case module.LetL() => ???
+ }
+
+ def exhaust(tree: module.Tree) = tree match {
+ case module.LetL() => ???
+ case module.LetR() => ???
+ }
+}
+
+class Patmat2(val module: Module) {
+ def patmat(tree: module.Tree) = tree match {
+ case module.LetL() => ???
+ }
+
+ def exhaust(tree: module.Tree) = tree match {
+ case module.LetL() => ???
+ case module.LetR() => ???
+ }
+}