https://issues.dlang.org/show_bug.cgi?id=23633

          Issue ID: 23633
           Summary: allow pure functions to call impure functions passed
                    as parameters
           Product: D
           Version: D2
          Hardware: All
                OS: All
            Status: NEW
          Severity: enhancement
          Priority: P5
         Component: dmd
          Assignee: nobody@puremagic.com
          Reporter: destructionator@gmail.com

Basically, permit this:

```
void foo(void delegate() dg) pure {
        dg();
}
```

Similarly to how you can write to values passed through params, if an impure delegate is passed through params I think we can allow that as an extension of the weakly pure concept. This would allow things like passing properties to be set.

If you are passed a class/interface tho, probably should only allow the pure members since that's not as explicit as the delegates.

I often find myself wanting some kind of limited environment to a function, and pure ALMOST offers it, but it just isn't able to do enough since pure is too strict, this kid of relaxation just might make it work.

--