diff --git a/tests/neg/i6226.scala b/tests/neg/i6226.scala new file mode 100644 index 000000000000..ed2dddc1b297 --- /dev/null +++ b/tests/neg/i6226.scala @@ -0,0 +1,12 @@ +object O1 { + opaque type X = Array[X] // error +} + +object O2 { + opaque type X = X // error +} + +object O3 { // error + opaque type R[X] = T[X] + opaque type T[X] = R[X] // error +}