From df50e05006b43b007c2587549030d24b5c154398 Mon Sep 17 00:00:00 2001
From: Gilles Dubochet <gilles.dubochet@epfl.ch>
Date: Fri, 16 Dec 2005 18:29:42 +0000
Subject: 'test-nsc' has been moved to 'test'.

---
 test/files/pos/matthias5.scala | 12 ++++++++++++
 1 file changed, 12 insertions(+)
 create mode 100644 test/files/pos/matthias5.scala

(limited to 'test/files/pos/matthias5.scala')

diff --git a/test/files/pos/matthias5.scala b/test/files/pos/matthias5.scala
new file mode 100644
index 0000000000..0dcb7f833d
--- /dev/null
+++ b/test/files/pos/matthias5.scala
@@ -0,0 +1,12 @@
+abstract class A() {
+    val y: A;
+}
+class B() extends A() {
+    val x = this;
+    val y: x.type = x;
+}
+abstract class C() {
+    val b: B = new B();
+    val a: A { val y: b.type };
+}
+
-- 
cgit v1.2.3