Output type inference can be run on default parameters. Fixes #1892

1 files changed, 28 insertions, 0 deletions

diff --git a/mcs/tests/gtest-565.cs b/mcs/tests/gtest-565.cs
new file mode 100644
index 00000000000..9d45231e9e2
--- /dev/null
+++ b/mcs/tests/gtest-565.cs
@@ -0,0 +1,28 @@
+using System;
+
+public class B<T>
+{
+}
+
+public class B2 : B<object>
+{
+}
+
+public class C
+{
+	public static void Test<T, I> () where T : B<I>, I
+	{
+		Foo<T, I> ();
+	}
+
+	public static void Foo<T, I> () where T : B<I>, I
+	{
+	}
+	
+	public static int Main ()
+	{
+		Test<B2, object> ();
+		return 0;
+	}
+}
+