gcc/testsuite/gdc.test/fail_compilation/ice9439.d

/*
TEST_OUTPUT:
---
fail_compilation/ice9439.d(12): Error: this for foo needs to be type Derived not type ice9439.Base
fail_compilation/ice9439.d(12):        while evaluating: `static assert((__error).foo())`
fail_compilation/ice9439.d(19): Error: template instance ice9439.Base.boo!(foo) error instantiating
---
*/

class Base {
    void boo(alias F)() {
        static assert(F());
    }
}

class Derived : Base {
    int foo() { return 1; }
    void bug() {
        boo!(foo)();
    }
}