Include parent type parameters when inflating nested type parameter constraint of type parameter type

1 files changed, 26 insertions, 0 deletions

diff --git a/mcs/tests/gtest-541.cs b/mcs/tests/gtest-541.cs
new file mode 100644
index 00000000000..1984d873cbc
--- /dev/null
+++ b/mcs/tests/gtest-541.cs
@@ -0,0 +1,26 @@
+public class Foo
+{
+}
+
+public class Top<S> where S : Foo
+{
+	public class Base<T> where T : S
+	{
+		public class Derived<U> where U : T
+		{
+			public void Test ()
+			{
+			}
+		}
+	}
+}
+
+public class Test
+{
+	public static int Main ()
+	{
+		Top<Foo>.Base<Foo>.Derived<Foo> d = new Top<Foo>.Base<Foo>.Derived<Foo> ();
+		d.Test ();
+		return 0;
+	}
+}