diff options
Diffstat (limited to 'mcs/tests/gtest-variance-11.cs')
-rw-r--r-- | mcs/tests/gtest-variance-11.cs | 33 |
1 files changed, 33 insertions, 0 deletions
diff --git a/mcs/tests/gtest-variance-11.cs b/mcs/tests/gtest-variance-11.cs index 35c2b77448..110044f0a5 100644 --- a/mcs/tests/gtest-variance-11.cs +++ b/mcs/tests/gtest-variance-11.cs @@ -22,8 +22,27 @@ class D return typeof (T) == typeof (object); } + public static bool CovContCont<T> (ICovariant<T> e1, IContravariant<T> e2, IContravariant<T> e3) + { + Console.WriteLine (typeof (T)); + return typeof (T) == typeof (string); + } + + public static bool ContCovContCov<T> (IContravariant<T> e1, ICovariant<T> e2, IContravariant<T> e3, ICovariant<T> e4) + { + Console.WriteLine (typeof (T)); + return typeof (T) == typeof (string); + } + + public static bool CovCovCont<T> (ICovariant<T> e1, ICovariant<T> e2, IContravariant<T> e3) + { + Console.WriteLine (typeof (T)); + return typeof (T) == typeof (string); + } + public static int Main () { + ICovariant<object> a = null; ICovariant<string> b = null; if (!Covariant (a, b)) @@ -34,6 +53,20 @@ class D if (!Contra (a_1, b_1)) return 2; + ICovariant<string> a_2 = null; + IContravariant<object> b_2 = null; + IContravariant<string> c_2 = null; + if (!CovContCont (a_2, b_2, c_2)) + return 3; + + IContravariant<object> a_3 = null; + ICovariant<string> b_3 = null; + IContravariant<string> c_3 = null; + ICovariant<string> d_3 = null; + if (!ContCovContCov (a_3, b_3, c_3, d_3)) + return 4; + + Console.WriteLine ("ok"); return 0; } } |