aboutsummaryrefslogtreecommitdiff
path: root/tests/patmat/t6818.scala
diff options
context:
space:
mode:
Diffstat (limited to 'tests/patmat/t6818.scala')
-rw-r--r--tests/patmat/t6818.scala11
1 files changed, 11 insertions, 0 deletions
diff --git a/tests/patmat/t6818.scala b/tests/patmat/t6818.scala
new file mode 100644
index 000000000..2334095c4
--- /dev/null
+++ b/tests/patmat/t6818.scala
@@ -0,0 +1,11 @@
+object Test {
+ type Id[X] = X
+
+ def foo(x:Id[Option[Int]]) = x match {
+ case Some(n) => "foo"
+ case None => "bar"
+ }
+
+ foo(Some(3)) // "foo"
+ foo(None) // "bar"
+} \ No newline at end of file