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