Check for unfixed type arguments before calling overload resolution for inferred return type

1 files changed, 26 insertions, 0 deletions

diff --git a/mcs/tests/gtest-546.cs b/mcs/tests/gtest-546.cs
new file mode 100644
index 00000000000..7e31531c8c8
--- /dev/null
+++ b/mcs/tests/gtest-546.cs
@@ -0,0 +1,26 @@
+using System;
+
+class Factory
+{
+	public class S<G1, G2>
+	{
+	}
+	
+	public static S<F1, F2> Create<F1, F2> (F1 f1, F2 f2)
+	{
+		return null;
+	}
+}
+
+class A
+{
+	static TR Test<T1, T2, TR>(T1 t1, T2 t2, Func<T1, T2, TR> f)
+	{
+		return f (t1, t2);
+	}
+	
+	static void Main ()
+	{
+		var r = Test ("a", "b", Factory.Create);
+	}
+}
\ No newline at end of file