blob: 51b84e82d7147c943838120bc27a7a0a36a3604e [file] [log] [blame]
/*
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)();
}
}