2 files changed, 12 insertions, 0 deletions
diff --git a/test/files/neg/bug283.check b/test/files/neg/bug283.check
new file mode 100644
index 0000000000..ca9c9f0d13
--- /dev/null
+++ b/test/files/neg/bug283.check
@@ -0,0 +1,4 @@
+bug283.scala:7: illegal cyclic reference involving constructor A
+  type A[t1] = P[A[t1],t1];
+                 ^
+one error found
diff --git a/test/files/neg/bug283.scala b/test/files/neg/bug283.scala
new file mode 100644
index 0000000000..0edcc6c751
--- /dev/null
+++ b/test/files/neg/bug283.scala
@@ -0,0 +1,8 @@
+// bug contribution #12
+
+trait P[a<:P[a,t1],t1]:a;
+
+object X
+{
+  type A[t1] = P[A[t1],t1];
+}