add test

Author: odersky

tests/neg/opaque.scala

@@ -1,4 +1,5 @@
 object opaquetypes {
+
   opaque val x: Int = 1 // error
 
   opaque class Foo // error
@@ -7,6 +8,8 @@ object opaquetypes {
 
   opaque type U <: String // error
 
+  opaque type Fix[F[_]] = F[Fix[F]] // error: cyclic
+
   opaque type O = String
 
   val s: O = "" // error