fixed bug798, 800

4 files changed, 43 insertions, 0 deletions

diff --git a/test/files/neg/bug798.check b/test/files/neg/bug798.check
new file mode 100644
index 0000000000..6fd80bcba5
--- /dev/null
+++ b/test/files/neg/bug798.check
@@ -0,0 +1,4 @@
+bug798.scala:5 error: cyclic aliasing or subtyping involving type Bracks
+  type Bracks <: Bracks
+       ^
+one error found
diff --git a/test/files/neg/bug798.scala b/test/files/neg/bug798.scala
new file mode 100644
index 0000000000..9d95ae2ddb
--- /dev/null
+++ b/test/files/neg/bug798.scala
@@ -0,0 +1,9 @@
+package test;
+trait Test {
+  def f(list : Any) = null;
+  class C[T]
+  type Bracks <: Bracks
+  val bracks : Bracks;
+  val singletons = f(bracks);
+
+}
diff --git a/test/files/neg/bug800.check b/test/files/neg/bug800.check
new file mode 100644
index 0000000000..eae84677c9
--- /dev/null
+++ b/test/files/neg/bug800.check
@@ -0,0 +1,13 @@
+bug800.scala:4 error: qualification is already defined as value qualification
+  val qualification = false;
+      ^
+bug800.scala:8 error: method qualification is defined twice
+  val qualification = false;
+      ^
+bug800.scala:12 error: value qualification is defined twice
+  var qualification = false;
+  ^
+bug800.scala:16 error: method qualification is defined twice
+  var qualification = false;
+  ^
+four errors found
diff --git a/test/files/neg/bug800.scala b/test/files/neg/bug800.scala
new file mode 100644
index 0000000000..388574d42d
--- /dev/null
+++ b/test/files/neg/bug800.scala
@@ -0,0 +1,17 @@
+package test;
+trait Test1 {
+  val qualification : String;
+  val qualification = false;
+}
+trait Test2 {
+  var qualification : String;
+  val qualification = false;
+}
+trait Test3 {
+  val qualification : String;
+  var qualification = false;
+}
+trait Test4 {
+  var qualification : String;
+  var qualification = false;
+}