[phobos] Pureness of enforce()

[Andrei Alexandrescu]

On 11/9/10 8:34 AM, Don Clugston wrote:
> On 9 November 2010 16:15, Robert Jacques<sandford at jhu.edu>  wrote:
>> On Tue, 09 Nov 2010 06:21:38 -0500, Lars Tandle Kyllingstad
>> <lars at kyllingen.net>  wrote:
>>>   It is not possible to annotate
>>> enforce() with 'pure', however, because it takes a lazy parameter, which
>>> is just shorthand for a (possibly impure) delegate.
>
>> Well, long term, we need modifiers to apply to delegates. i.e. it should be
>> possible to declare a pure delegate.
>
> You can already do that.
>
> int delegate(int x, int y) pure @safe foo;

Cool! Then overloading enforce on purity should be the solution.

Andrei