Currently this code is not rejected by the compiler and instead creates non-functioning (undefined) code: ``` struct S { void foo() {} } void main() { auto a = &S.foo; } ``` See https://issues.dlang.org/show_bug.cgi?id=21195 . Considering https://www.digitalmars.com/articles/b68.html, why not simply reject `&S.foo` during semantic analysis? -Johan