added test files for bug835/bug836

4 files changed, 28 insertions, 0 deletions

diff --git a/test/files/neg/bug835.check b/test/files/neg/bug835.check
new file mode 100644
index 0000000000..1977126e8b
--- /dev/null
+++ b/test/files/neg/bug835.check
@@ -0,0 +1,4 @@
+bug835.scala:2 error: `)' expected
+  Console.println(List(List(1, 2, 3) : _*, List(4, 5, 6) : _*))
+                                         ^
+one error found
diff --git a/test/files/neg/bug835.scala b/test/files/neg/bug835.scala
new file mode 100644
index 0000000000..1eb724406b
--- /dev/null
+++ b/test/files/neg/bug835.scala
@@ -0,0 +1,3 @@
+object Test extends Application {
+  Console.println(List(List(1, 2, 3) : _*, List(4, 5, 6) : _*))
+}
diff --git a/test/files/neg/bug836.check b/test/files/neg/bug836.check
new file mode 100644
index 0000000000..508d7bd75b
--- /dev/null
+++ b/test/files/neg/bug836.check
@@ -0,0 +1,5 @@
+bug836.scala:6 error: type S cannot be accessed in A.this.MyObj
+ because its instance type A.this.MyObj#S is malformed
+  type S = MyObj#S
+                ^
+one error found
diff --git a/test/files/neg/bug836.scala b/test/files/neg/bug836.scala
new file mode 100644
index 0000000000..3633b816c6
--- /dev/null
+++ b/test/files/neg/bug836.scala
@@ -0,0 +1,16 @@
+abstract class Obj { type S }
+class ObjImpl extends Obj { type S = String }
+
+abstract class A {
+  type MyObj <: Obj
+  type S = MyObj#S
+
+  val any:  Any = 0
+  val some: S = any   // compiles => type X is set to scala.Any
+}
+
+class B extends A {
+  type MyObj = ObjImpl
+  val myString:   S = "hello"
+  val realString: String = myString   // error: type missmatch
+}