diff --git a/compiler/testData/diagnostics/tests/generics/RecursiveUpperBoundCheck.jet b/compiler/testData/diagnostics/tests/generics/RecursiveUpperBoundCheck.jet
new file mode 100644
index 00000000000..33a4ca82b6f
--- /dev/null
+++ b/compiler/testData/diagnostics/tests/generics/RecursiveUpperBoundCheck.jet
@@ -0,0 +1,3 @@
+open class C<T : C<T>>
+class TestOK : C<TestOK>()
+class TestFail : C<<!UPPER_BOUND_VIOLATED, UPPER_BOUND_VIOLATED!>C<<!UPPER_BOUND_VIOLATED!>TestFail<!>><!>>()
diff --git a/compiler/testData/diagnostics/tests/generics/RecursiveUpperBoundWithTwoArguments.jet b/compiler/testData/diagnostics/tests/generics/RecursiveUpperBoundWithTwoArguments.jet
new file mode 100644
index 00000000000..3e58ee5012a
--- /dev/null
+++ b/compiler/testData/diagnostics/tests/generics/RecursiveUpperBoundWithTwoArguments.jet
@@ -0,0 +1 @@
+class D<A : D<A, <!UPPER_BOUND_VIOLATED!>String<!>>, B : D<A, B>>