'test-nsc' has been moved to 'test'.

4 files changed, 24 insertions, 0 deletions

diff --git a/test/files/neg/abstract.check b/test/files/neg/abstract.check
new file mode 100644
index 0000000000..1f888dcceb
--- /dev/null
+++ b/test/files/neg/abstract.check
@@ -0,0 +1,7 @@
+abstract.scala:5 error: malformed type: A.this.T#T
+  def foo1 = bar().bar();
+                  ^
+abstract.scala:7 error: malformed type: A#T
+  def foo3 = baz().bar();
+                  ^
+two errors found
diff --git a/test/files/neg/abstract.scala b/test/files/neg/abstract.scala
new file mode 100644
index 0000000000..41cfc81309
--- /dev/null
+++ b/test/files/neg/abstract.scala
@@ -0,0 +1,9 @@
+trait A {
+  type T <: A;
+  def baz(): A;
+  def bar(): T;
+  def foo1 = bar().bar();
+  def foo2 = bar().baz();
+  def foo3 = baz().bar();
+  def foo4 = baz().baz();
+}
diff --git a/test/files/neg/variances.check b/test/files/neg/variances.check
new file mode 100644
index 0000000000..82d992048b
--- /dev/null
+++ b/test/files/neg/variances.check
@@ -0,0 +1,4 @@
+variances.scala:2 error: covariant type a occurs in contravariant position in type Vector[a] of value x
+  def append(x: Vector[a]): Vector[a] 
+             ^
+one error found
diff --git a/test/files/neg/variances.scala b/test/files/neg/variances.scala
new file mode 100644
index 0000000000..ebcba21611
--- /dev/null
+++ b/test/files/neg/variances.scala
@@ -0,0 +1,4 @@
+trait Vector[+a] {
+  def append(x: Vector[a]): Vector[a]
+}
+