Bug 13423 – Allow covariant assignment of lambda to delegate variable

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.)

Is this issue 3075 again?

(In reply to hsteoh from comment #0) > Code: > ------ > void main() { > void delegate(char) dg = (dchar) {}; > } > ------ There is a parameter type mismatching 'char' and 'dchar'.

Oops, looks like I made a mistake while reducing the original test case. I'll have to go back and re-reduce it. Sorry for the noise.

Looks like the original problem was something else. I'll file a different issue for it. Closing this one.