mcs/tests/test-623.cs


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23

//
// fixed
//
interface I {
	void a ();
}

abstract class X : I {
	public abstract void a ();
}

class Y : X {
	override public void a () {
		System.Console.WriteLine ("Hello!");
		return;
	}

	public static void Main () {
		Y y = new Y ();

		((I) y ).a ();
	}
}