Aliasing an inner function gets context but aliasing a member function through instance does not

[dlangBugzillaToGithub]

Ali Ak reported this on 2018-06-26T03:33:43Z

Transferred from https://issues.dlang.org/show_bug.cgi?id=19026

CC List

• Alex
• Steven Schveighoffer (@schveiguy)

Description

Based on this forum thread: https://forum.dlang.org/thread/hyforteterjqhgghpshw@forum.dlang.org

Aliasing an inner function seems inconsistent with aliasing a member function in that the former aliases the contexted function whereas the latter not:

void main() {
    struct S { void f() {} }
    S s;
    void f() {}

    alias inner = f;
    alias member = s.f;
    
    pragma(msg, typeof(&inner)); // delegate
    pragma(msg, typeof(&member)); // function
}

so inner() can be called but not member() as you get: Error: need this for f of type void()