Tests for recursive upper bounds

2012-05-03 17:26:02 +04:00
parent a0367bcfa2
commit 6ba44a133f
2 changed files with 4 additions and 0 deletions
@@ -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<!>><!>>()
@@ -0,0 +1 @@
+class D<A : D<A, <!UPPER_BOUND_VIOLATED!>String<!>>, B : D<A, B>>
				`@@ -0,0 +1 @@`
				`class D<A : D<A, <!UPPER_BOUND_VIOLATED!>String<!>>, B : D<A, B>>`