/*
TEST_OUTPUT:
---
fail_compilation/diag9451.d(26): Error: cannot create instance of abstract class `C2`
fail_compilation/diag9451.d(26):        function `void f1()` is not implemented
fail_compilation/diag9451.d(26):        function `void f2(int)` is not implemented
fail_compilation/diag9451.d(26):        function `void f2(float) const` is not implemented
fail_compilation/diag9451.d(26):        function `int f2(float) pure` is not implemented
---
*/

class C1
{
    abstract void f1();
    abstract void f2(int);
    abstract void f2(float) const;
    abstract int f2(float) pure;
}

class C2 : C1
{
}

void main()
{
    auto c2 = new C2;
}