2 files changed, 10 insertions, 1 deletions
diff --git a/test/pending/pos/bug563.scala b/test/pending/pos/bug563.scala
new file mode 100644
index 0000000000..d559226bdb
--- /dev/null
+++ b/test/pending/pos/bug563.scala
@@ -0,0 +1,7 @@
+object Test {
+    def map[A,R](a : List[A], f : A => R) : List[R] = a.map(f);
+
+    def split(sn : Iterable[List[Cell[int]]]) : unit =
+        for (val n <- sn)
+            map(n,ptr => new Cell(ptr.elem));
+}
diff --git a/test/pending/neg/bug412.scala b/test/pending/run/bug412.scala
index 66de4761fb..4610235427 100644
--- a/test/pending/neg/bug412.scala
+++ b/test/pending/run/bug412.scala
@@ -6,7 +6,9 @@ object Magic {
     trait C2 extends C { type T <: T2; }
 
     type CX;
-    val c: CX with C2 = null;
+
+    var cv: CX with C2 = _;
+    val c: CX with C2 = cv;
 
     def castA(x: c.T): T2 = x;
   }