Fixed type inference between upper and lower bounds

1 files changed, 30 insertions, 0 deletions

diff --git a/mcs/tests/gtest-variance-15.cs b/mcs/tests/gtest-variance-15.cs
new file mode 100644
index 00000000000..7a357ff387f
--- /dev/null
+++ b/mcs/tests/gtest-variance-15.cs
@@ -0,0 +1,30 @@
+using System;
+
+public class C
+{
+	delegate void D<in T> (T t);
+	
+	static void M<T> (ref T t, D<T> a)
+	{
+		a (t);
+	}
+
+	static void M2<T> (T t, D<T> a)
+	{
+		a (t);
+	}
+	
+	static void MethodArg (object o)
+	{
+	}
+	
+	public static int Main ()
+	{
+		D<object> action = l => Console.WriteLine (l);
+		string s = "value";
+		
+		M (ref s, action);
+		M2 (s, action);
+		return 0;
+	}
+}