diff options
author | Adriaan Moors <adriaan.moors@typesafe.com> | 2013-01-06 20:41:23 -0800 |
---|---|---|
committer | Adriaan Moors <adriaan.moors@typesafe.com> | 2013-01-09 22:31:57 -0800 |
commit | e314ff1621ee26e1e4ec65abc6e360a7731bf488 (patch) | |
tree | afd38571e98375ecc1f7ad635a5eaf76a6c2b8c1 /test/files/pos/t6925b.scala | |
parent | b1cea212f36b27636ef6aab76bf8992210a4426e (diff) | |
download | scala-e314ff1621ee26e1e4ec65abc6e360a7731bf488.tar.gz scala-e314ff1621ee26e1e4ec65abc6e360a7731bf488.tar.bz2 scala-e314ff1621ee26e1e4ec65abc6e360a7731bf488.zip |
rework partial function synthesis
no behavioral changes, just highly overdue cleanup
some TODOs for further improvements
Diffstat (limited to 'test/files/pos/t6925b.scala')
-rw-r--r-- | test/files/pos/t6925b.scala | 18 |
1 files changed, 18 insertions, 0 deletions
diff --git a/test/files/pos/t6925b.scala b/test/files/pos/t6925b.scala new file mode 100644 index 0000000000..ca25146dfc --- /dev/null +++ b/test/files/pos/t6925b.scala @@ -0,0 +1,18 @@ +// code *generated* by test/scaladoc/run/SI-5933.scala +// duplicated here because it's related to SI-6925 + +import language.higherKinds + +abstract class Base[M[_, _]] { + def foo[A, B]: M[(A, B), Any] +} + +class Derived extends Base[PartialFunction] { + def foo[AA, BB] /*: PartialFunction[(A, B) => Any]*/ = { case (a, b) => (a: AA, b: BB) } +} + +object Test { + lazy val lx = { println("hello"); 3 } + def test1(x: Int = lx) = ??? + def test2(x: Int = lx match { case 0 => 1; case 3 => 4 }) = ??? +}
\ No newline at end of file |