Member lookup on type parameters has different ambiguity rules. Fixes #9776

1 files changed, 38 insertions, 0 deletions

diff --git a/mcs/tests/gtest-577.cs b/mcs/tests/gtest-577.cs
new file mode 100644
index 00000000000..786eead37ea
--- /dev/null
+++ b/mcs/tests/gtest-577.cs
@@ -0,0 +1,38 @@
+using System;
+
+static class Program
+{
+	public interface I1
+	{
+		string Id { get; }
+	}
+
+	public class BaseClass
+	{
+		public int Id {
+			get {
+				return 4;
+			}
+		}
+	}
+
+	public class Derived : BaseClass, I1
+	{
+		public new string Id {
+			get {
+				return "aa";
+			}
+		}
+	}
+
+	static void Generic<T> (T item) where T : BaseClass, I1
+	{
+		if (item.Id != 4)
+			throw new Exception ("Doom!");
+	}
+
+	static void Main ()
+	{
+		Generic (new Derived ());
+	}
+}