Broken value of auto ref argument for closure

[dlangBugzillaToGithub]

SHOO (@shoo) reported this on 2018-09-11T09:22:12Z

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

CC List

• Mathias LANG (@Geod24)

Description

This code doesn't work:
-------------------
auto ref run(F, Args...)(F dg, auto ref Args args)
{
    return dg(args);
}
auto makeClosure(alias func, Args...)(auto ref Args args)
{
    auto fptr = args[0].funcptr;
    return {
        // !!!!! Assertion failure !!!!!
        assert(args[0].funcptr is fptr);
        return func(args);
    };
}
auto test(F, Args...)(F dg, auto ref Args args)
{
    return makeClosure!run(dg, args);
}
void main()
{
    auto t = test( delegate ()=> 10 );
    assert(t() == 10);
}
-------------------
dmd -debug -g -run main.d
-------------------
core.exception.AssertError@main.d(9): Assertion failure
----------------
0x004029B3 in _d_assertp at ...\src\core\exception.d(436)
0x0040225B in _Dmain at main.d(20)

[dlangBugzillaToGithub]

pro.mathias.lang (@Geod24) commented on 2021-03-01T08:34:12Z

Yeah, `auto ref` is really not a good think when mixed with capture. And unfortunately it's `@safe`.