aboutsummaryrefslogtreecommitdiff
path: root/tests/patmat/t8068.scala
diff options
context:
space:
mode:
Diffstat (limited to 'tests/patmat/t8068.scala')
-rw-r--r--tests/patmat/t8068.scala14
1 files changed, 14 insertions, 0 deletions
diff --git a/tests/patmat/t8068.scala b/tests/patmat/t8068.scala
new file mode 100644
index 000000000..9837b7381
--- /dev/null
+++ b/tests/patmat/t8068.scala
@@ -0,0 +1,14 @@
+trait K[A] {
+ sealed trait T
+ case class C(x: Int) extends T
+ case object O extends T
+}
+
+object Hello {
+ def f[A](k: K[A])(t: k.T) = {
+ t match {
+ case k.C(x) => ???
+ case k.O => ???
+ }
+ }
+}