diff --git a/testsuite/compiler/check/cyclic/opers/TestOperTypes.gf b/testsuite/compiler/check/cyclic/opers/TestOperTypes.gf
new file mode 100644
index 000000000..dfb5e32b9
--- /dev/null
+++ b/testsuite/compiler/check/cyclic/opers/TestOperTypes.gf
@@ -0,0 +1,10 @@
+resource TestOperTypes = {
+
+flags
+  optimize=noexpand;
+
+oper
+  A : T = Str ;
+  T : Type = A ;
+
+}
\ No newline at end of file
diff --git a/testsuite/compiler/check/cyclic/opers/test.gfs b/testsuite/compiler/check/cyclic/opers/test.gfs
index ca449eee0..483d34bc7 100644
--- a/testsuite/compiler/check/cyclic/opers/test.gfs
+++ b/testsuite/compiler/check/cyclic/opers/test.gfs
@@ -1 +1,2 @@
-i -src testsuite/compiler/check/cyclic/opers/TestOpers.gf
\ No newline at end of file
+i -src testsuite/compiler/check/cyclic/opers/TestOpers.gf
+i -src testsuite/compiler/check/cyclic/opers/TestOperTypes.gf
\ No newline at end of file
diff --git a/testsuite/compiler/check/cyclic/opers/test.gfs.gold b/testsuite/compiler/check/cyclic/opers/test.gfs.gold
index d09ec7edd..f2a1e5c22 100644
--- a/testsuite/compiler/check/cyclic/opers/test.gfs.gold
+++ b/testsuite/compiler/check/cyclic/opers/test.gfs.gold
@@ -2,3 +2,7 @@
 

 checking module TestOpers

    circular definitions: A B

+

+

+checking module TestOperTypes

+   circular definitions: A T