diff options
author | Dmitry Petrashko <dmitry.petrashko@gmail.com> | 2014-09-17 17:58:54 +0200 |
---|---|---|
committer | Dmitry Petrashko <dmitry.petrashko@gmail.com> | 2014-09-17 18:25:25 +0200 |
commit | 0a515fca98408d63267c27003e1ef12fd9946aa0 (patch) | |
tree | 2b45d2fbebebc966f7ca1bec0f00f22f9c189500 /tests/pos | |
parent | 09a771897f62872554b88836eebeb05735b9c2f7 (diff) | |
download | dotty-0a515fca98408d63267c27003e1ef12fd9946aa0.tar.gz dotty-0a515fca98408d63267c27003e1ef12fd9946aa0.tar.bz2 dotty-0a515fca98408d63267c27003e1ef12fd9946aa0.zip |
All pat-mat specific tests succeed now.
Except t1048 which infers incorrect type in typer, patmat creates a tree that computes a more precise one that fails to typecheck
Disabling erasure due to dozens of "Type BLA is illegal after erasure" errors.
Diffstat (limited to 'tests/pos')
-rw-r--r-- | tests/pos/t1048.scala | 14 |
1 files changed, 0 insertions, 14 deletions
diff --git a/tests/pos/t1048.scala b/tests/pos/t1048.scala deleted file mode 100644 index b8694b38e..000000000 --- a/tests/pos/t1048.scala +++ /dev/null @@ -1,14 +0,0 @@ -trait T[U] { - def x: T[_ <: U] -} - -object T { - def unapply[U](t: T[U]): Option[T[_ <: U]] = Some(t.x) -} - -object Test { - def f[W](t: T[W]) = t match { - case T(T(_)) => () - } -} - |