tests/test-623.cs

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