"bearophile" wrote in message news:qfqkkpkdialejlknrpyx at forum.dlang.org... > Why do you need that? You can tell that foo() is not strongly pure from > its signature. That's enough. Enough to tell it _might_ have a side effect, not enough to know it _will_. The number of false positives would make it near useless.