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