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