Clean ups fro bugs 605, 508

2 files changed, 25 insertions, 17 deletions

diff --git a/test/files/pos/bug608.scala b/test/files/pos/bug608.scala
deleted file mode 100644
index 24f515651a..0000000000
--- a/test/files/pos/bug608.scala
+++ /dev/null
@@ -1,17 +0,0 @@
-trait CrashDueToTypeError {
-	def id[a](x :a) :a = x
-
-	trait Bifunctor {
-		type a; //	 content
-		type s <: Bifunctor
-
-		// uncomment        this-vvvvvvvvvvvvvvvvvvvvvvvvvvvv, and it compiles
-		def bimap[c](f :a=>c) :s{/*type s=Bifunctor.this.s;*/type a=c; }
-	}
-
-	def hylo[hs <: Bifunctor,ha,hb,hc]
-	    (f :hb=>hs{type s=hs; type a=ha},
-	     g :hs{type s=hs; type a=ha}=>hc)(x :hb)
-	     :hc
-	     = g(f(x).bimap(id))
-}
diff --git a/test/files/pos/bug611.scala b/test/files/pos/bug611.scala
new file mode 100644
index 0000000000..eb1a5c19c2
--- /dev/null
+++ b/test/files/pos/bug611.scala
@@ -0,0 +1,25 @@
+package bug.contrib_60;
+
+abstract class Field {
+  type FieldType;
+
+  var internalValue: FieldType;
+}
+
+case class IntField(value: int) extends Field {
+  type FieldType = int;
+
+  var internalValue: FieldType = value;
+}
+
+case class StringField(value: String) extends Field {
+  type FieldType = String;
+
+  var internalValue: FieldType = value;
+}
+
+object Test {
+  def main (ars:scala.Array[String]): unit = {
+    Console.println(List(new StringField ("bar"), new IntField(8)))
+  }
+}