diff options
Diffstat (limited to 'test/files/pos/t1048.scala')
-rw-r--r-- | test/files/pos/t1048.scala | 15 |
1 files changed, 15 insertions, 0 deletions
diff --git a/test/files/pos/t1048.scala b/test/files/pos/t1048.scala new file mode 100644 index 0000000000..f88dbbc88b --- /dev/null +++ b/test/files/pos/t1048.scala @@ -0,0 +1,15 @@ +trait T[U] { + def x: T[V] forSome { type V <: U } +} + +object T { + def unapply[U](t: T[U]): Option[T[V] forSome { type V <: U }] = Some(t.x) +} + +object Test { + def f[W](t: T[W]) = t match { + case T(T(_)) => () + } +} + + |