From 6ba44a133f26d9d94d1524cba3951430f95949cc Mon Sep 17 00:00:00 2001
From: Andrey Breslav <andrey.breslav@jetbrains.com>
Date: Thu, 3 May 2012 17:26:02 +0400
Subject: [PATCH] Tests for recursive upper bounds

---
 .../diagnostics/tests/generics/RecursiveUpperBoundCheck.jet    | 3 +++
 .../tests/generics/RecursiveUpperBoundWithTwoArguments.jet     | 1 +
 2 files changed, 4 insertions(+)
 create mode 100644 compiler/testData/diagnostics/tests/generics/RecursiveUpperBoundCheck.jet
 create mode 100644 compiler/testData/diagnostics/tests/generics/RecursiveUpperBoundWithTwoArguments.jet

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>>