Check interface implementation using all base types members. Fixes #11694

1 files changed, 35 insertions, 0 deletions

diff --git a/mcs/tests/test-867.cs b/mcs/tests/test-867.cs
new file mode 100644
index 00000000000..57b529ba709
--- /dev/null
+++ b/mcs/tests/test-867.cs
@@ -0,0 +1,35 @@
+class Test
+{
+	public static void Main ()
+	{
+		new BaseJobController ();
+		new JobController ();
+	}
+}
+
+public interface IUser
+{
+}
+
+public class User : IUser
+{
+}
+
+public interface IJobController
+{
+	IUser User { get; }
+}
+
+public class BaseController
+{
+	public virtual IUser User { get; set; }
+}
+
+public class BaseJobController : BaseController
+{
+	public new User User { get; set; }
+}
+
+public class JobController : BaseJobController, IJobController
+{
+}
\ No newline at end of file