Use inflated version of interfaces when checking base method type parameter contraints

1 files changed, 23 insertions, 0 deletions

diff --git a/mcs/tests/gtest-559.cs b/mcs/tests/gtest-559.cs
new file mode 100644
index 00000000000..5f46db374f4
--- /dev/null
+++ b/mcs/tests/gtest-559.cs
@@ -0,0 +1,23 @@
+interface I<T>
+{
+}
+
+interface A<Source>
+{
+	void Test<U> () where U : I<Source>;
+}
+
+struct B<TContext> : A<int>
+{
+	public void Test<U2> () where U2 : I<int>
+	{
+	}
+}
+
+class C : I<int>
+{
+	public static void Main ()
+	{
+		new B<string> ().Test<C> ();
+	}
+}