1 files changed, 9 insertions, 0 deletions
diff --git a/tests/untried/pos/t6771.scala b/tests/untried/pos/t6771.scala
new file mode 100644
index 000000000..0f0bd4e4a
--- /dev/null
+++ b/tests/untried/pos/t6771.scala
@@ -0,0 +1,9 @@
+object Test {
+  type Id[X] = X
+  val a: Id[Option[Int]] = None
+
+  a match {
+     case Some(x) => println(x)
+     case None    =>
+  }
+}