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/disabled | |
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/disabled')
-rw-r--r-- | tests/disabled/t1048.scala | 14 |
1 files changed, 14 insertions, 0 deletions
diff --git a/tests/disabled/t1048.scala b/tests/disabled/t1048.scala new file mode 100644 index 000000000..b8694b38e --- /dev/null +++ b/tests/disabled/t1048.scala @@ -0,0 +1,14 @@ +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(_)) => () + } +} + |