On 02/16/2018 09:58 AM, Nordlöw wrote:

void g() pure
{
     static assert(!__traits(compiles, { auto x = f(42); }));
     alias pureF = assumePure!(typeof(&f));
     // TODO: how do I call pureF?
     // auto x = (*pureF)(42);
     // auto x = pureF(42);
}


    auto pureF = assumePure(&f);
    pureF(42);

Ali

Reply via email to