test72()1 void test72()
2 {
3     class A {}
4     class B : A {}
5 
6     class X
7     {
8         abstract A func();
9     }
10     class Y : X
11     {
12         B func() { return new A(); }
13     }
14 }
15 
main()16 void main() {}
17