Added Variance tests

2014-09-09 19:27:12 +04:00
parent db457a612c
commit aa97bb8cfc
19 changed files with 957 additions and 1 deletions
@@ -0,0 +1,40 @@
+trait In<in T>
+trait Out<out T>
+trait Inv<T>
+trait Pair<out X, out Y>
+
+trait Test<in I, out O, P> {
+    fun ok1(): O
+    fun ok2(): In<I>
+    fun ok3(): In<In<O>>
+    fun ok4(): Inv<P>
+    fun ok5(): P
+    fun ok6(): Out<O>
+    fun ok7(): Out<P>
+    fun ok8(): Out<In<P>>
+    fun ok9(): Pair<In<I>, O>
+    
+    fun ok10(): Inv<in I>
+    fun ok11(): Inv<out O>
+    fun ok12(): Inv<in P>
+    fun ok13(): Inv<out P>
+
+    fun neOk1(): <!TYPE_VARIANCE_CONFLICT(I; in; out; I)!>I<!>
+    fun neOk2(): In<<!TYPE_VARIANCE_CONFLICT(O; out; in; In<O>)!>O<!>>
+    fun neOk3(): In<In<<!TYPE_VARIANCE_CONFLICT(I; in; out; In<In<I>>)!>I<!>>>
+    fun neOk4(): Inv<<!TYPE_VARIANCE_CONFLICT(I; in; invariant; Inv<I>)!>I<!>>
+    fun neOk5(): Inv<<!TYPE_VARIANCE_CONFLICT(O; out; invariant; Inv<O>)!>O<!>>
+    fun neOk6(): Pair<In<<!TYPE_VARIANCE_CONFLICT(O; out; in; Pair<In<O>, I>)!>O<!>>, <!TYPE_VARIANCE_CONFLICT(I; in; out; Pair<In<O>, I>)!>I<!>>
+    fun neOk7(): Inv<in <!TYPE_VARIANCE_CONFLICT(O; out; in; Inv<in O>)!>O<!>>
+    fun neOk8(): Out<<!CONFLICTING_PROJECTION(Out)!>in<!> I>
+    
+    fun neOk10(): Inv<in <!TYPE_VARIANCE_CONFLICT(O; out; in; Inv<in O>)!>O<!>>
+    fun neOk11(): Inv<out <!TYPE_VARIANCE_CONFLICT(I; in; out; Inv<out I>)!>I<!>>
+
+    fun neOk30(): Pair<<!TYPE_VARIANCE_CONFLICT(I; in; out; Pair<I, [ERROR : No type element]>)!>I<!>, <!SYNTAX!><!>>
+    fun neOk31(): Pair<<!TYPE_VARIANCE_CONFLICT(I; in; out; Pair<I, [ERROR : Inv]>)!>I<!>, <!WRONG_NUMBER_OF_TYPE_ARGUMENTS!>Inv<!>>
+    fun neOk32(): <!WRONG_NUMBER_OF_TYPE_ARGUMENTS!>Inv<!>
+    fun neOk33(): Inv<<!SYNTAX!><!>>
+    fun neOk34(): Inv<<!UNRESOLVED_REFERENCE!>C<!>>
+    fun neOk35(): Inv<!WRONG_NUMBER_OF_TYPE_ARGUMENTS!><P, P><!>
+}