New tests.

svn path=/trunk/mcs/; revision=135080

1 files changed, 32 insertions, 0 deletions

diff --git a/mcs/tests/gtest-variance-6.cs b/mcs/tests/gtest-variance-6.cs
new file mode 100644
index 00000000000..d153f00720c
--- /dev/null
+++ b/mcs/tests/gtest-variance-6.cs
@@ -0,0 +1,32 @@
+// Compiler options: -langversion:future
+
+interface ICovariant<out T> { }
+interface IContravariant<in T> { }
+
+delegate ICovariant<U> Cov1<out U> (IContravariant<U> x);
+delegate ICovariant<U> Cov2<out U> (IContravariant<ICovariant<U>> x);
+delegate ICovariant<IContravariant<IContravariant<U>>> Cov3<out U> (IContravariant<IContravariant<IContravariant<ICovariant<U>>>> x);
+delegate ICovariant<int> Cov4<out U> ();
+delegate IContravariant<int> Cov5<out U> ();
+
+delegate IContravariant<U[]> Contra5<in U> (U u, ICovariant<U> x);
+delegate IContravariant<U[]> Contra6<in U> ();
+delegate IContravariant<U> Contra7<in U> (U u, ICovariant<U> x);
+delegate IContravariant<ICovariant<U>> Contra8<in U> (U u, ICovariant<U> x);
+
+interface ITest_1<out T>
+{
+	ICovariant<T> CovariantHandler (IContravariant<T> x);
+}
+
+interface ITest_2<in T>
+{
+	IContravariant<T> CovariantHandler (ICovariant<T> x);
+}
+
+class Program
+{
+	static void Main ()
+	{
+	}
+}