2 files changed, 34 insertions, 0 deletions
diff --git a/tests/pos/S5.scala b/tests/pos/S5.scala
new file mode 100644
index 000000000..ba87869a1
--- /dev/null
+++ b/tests/pos/S5.scala
@@ -0,0 +1,31 @@
+/* Original comment:
+ * Here's a fragment of a Scala encoding for the Keris module system;
+** the compiler claims:
+**
+** S5.scala:28: value n in class N of type N.this._N.n
+** cannot override value n in class M of type M.this._N.n
+**        val system = new M() with N() {}
+**                         ^
+** To me it seems like the code is perfectly fine...
+*/
+abstract class M() {
+    val _N: N;
+    val n: _N.n;
+    val _M: M = this;
+    val m: _M.m = new _M.m();
+    class m() {
+        // module body of M
+    }
+}
+trait N {
+    val _N: N = this;
+    val n: _N.n = new _N.n();
+    val _M: M;
+    val m: _M.m;
+    class n() {
+        // module body of N
+    }
+}
+object O {
+    val system = new M() with N {}
+}
diff --git a/tests/pos/SI-5788.scala b/tests/pos/SI-5788.scala
new file mode 100644
index 000000000..f29246180
--- /dev/null
+++ b/tests/pos/SI-5788.scala
@@ -0,0 +1,3 @@
+trait Foo[@specialized(Int) A] {
+  final def bar(a:A):A = bar(a)
+}