Clean ups fro bugs 605, 508

3 files changed, 31 insertions, 0 deletions

diff --git a/test/files/neg/bug608.check b/test/files/neg/bug608.check
new file mode 100644
index 0000000000..a4b2664b58
--- /dev/null
+++ b/test/files/neg/bug608.check
@@ -0,0 +1,6 @@
+bug608.scala:16 error: no type parameters for method bimap: ((ha) => c)hs{override type a = c} exist so that it can be applied to arguments ((ha) => ha)
+ --- because ---
+result type hs{override type a = c} is incompatible with expected type hs{override type s = hs; override type a = ha}
+	     = g(f(x).bimap(id))
+                     ^
+one error found
diff --git a/test/files/pos/bug608.scala b/test/files/neg/bug608.scala
index 24f515651a..24f515651a 100644
--- a/test/files/pos/bug608.scala
+++ b/test/files/neg/bug608.scala
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)))
+  }
+}