class X {
	public virtual override void Y () {}
}