mcs/errors/bug5.cs

   1 interface I {
   2         void a ();
   3 }
   4
   5 abstract class X : I {
   6         public abstract void a ();
   7 }
   8
   9 class Y : X {
  10         override public void a () {
  11                 System.Console.WriteLine ("Hello!");
  12                 return;
  13         }
  14
  15         static void Main () {
  16                 Y y = new Y ();
  17
  18                 ((I) y ).a ();
  19         }
  20 }