• via Digitalmars-d-bugs (32/32) Sep 04 2014 https://issues.dlang.org/show_bug.cgi?id=13423

via Digitalmars-d-bugs <digitalmars-d-bugs puremagic.com> writes:

https://issues.dlang.org/show_bug.cgi?id=13423

          Issue ID: 13423
           Summary: Allow covariant assignment of lambda to delegate
                    variable
           Product: D
           Version: D2
          Hardware: x86
                OS: Linux
            Status: NEW
          Severity: enhancement
          Priority: P1
         Component: DMD
          Assignee: nobody puremagic.com
          Reporter: hsteoh quickfur.ath.cx

Code:
------
void main() {
        void delegate(char) dg = (dchar) {};
}
------

Compiler output (2.067alpha):
------
test.d(2): Error: cannot implicitly convert expression (__lambda1) of type void
delegate(dchar _param_0) pure nothrow  nogc  safe to void delegate(char)
test.d(2): Error: cannot implicitly convert expression (__lambda1) of type void
delegate(dchar _param_0) pure nothrow  nogc  safe to void delegate(char)
------

There is no possible harm that can come from calling a pure nothrow  nogc  safe
delegate via an impure/throwing/allocating/unsafe delegate pointer, so this
assignment should be allowed. (Obviously, though, assigning in the other
direction cannot be allowed.)

--