diff options
Diffstat (limited to 'test/pending/pos/t0621.scala')
-rw-r--r-- | test/pending/pos/t0621.scala | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/test/pending/pos/t0621.scala b/test/pending/pos/t0621.scala new file mode 100644 index 0000000000..d178bed0fb --- /dev/null +++ b/test/pending/pos/t0621.scala @@ -0,0 +1,7 @@ +object Test { + val x1 : List[T] forSome { type T } = List(42) + val w1 = x1 match { case y : List[u] => ((z : u) => z)(y.head) } + + val x2 : T forSome { type T } = 42 + val w2 = x2 match { case y : u => ((z : u) => z)(y) } +} |