From e314ff1621ee26e1e4ec65abc6e360a7731bf488 Mon Sep 17 00:00:00 2001
From: Adriaan Moors <adriaan.moors@typesafe.com>
Date: Sun, 6 Jan 2013 20:41:23 -0800
Subject: rework partial function synthesis

no behavioral changes, just highly overdue cleanup
some TODOs for further improvements
---
 test/files/pos/t6925b.scala | 18 ++++++++++++++++++
 1 file changed, 18 insertions(+)
 create mode 100644 test/files/pos/t6925b.scala

(limited to 'test/files/pos/t6925b.scala')

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
-- 
cgit v1.2.3