linux-packaging-mono/mcs/tests/test-867.cs

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
{
}