accept @pure @nothrow @return attributes

[Andrei Alexandrescu via Digitalmars-d]

On 1/28/15 10:19 AM, Jonathan Marler wrote:
> On Wednesday, 28 January 2015 at 17:52:56 UTC, Mike wrote:
>> On Wednesday, 28 January 2015 at 17:41:54 UTC, Jonathan Marler wrote:
>>
>>> PLUS, this would be very simple to implement!
>>
>> Then I recommend you submit a pull request.
>>
>> Mike
>
> I would but Walter said no.  I'm certain he misunderstood my proposal
> and I tried to explain it to him but I couldn't get him to address it.

Was that the proposal leading to this state of affairs (quoting from 
your post on 2015/01/26 16:05 PST?

> Here's what would change
> -----------------------------------------------------------------
> void myfunc() nogc; // VALID (Only if this proposal is accepted)
> void myfunc() safe; // VALID (Only if this proposal is accepted)
>
>
> Here's what WOULD NOT change
> -----------------------------------------------------------------
> nogc myfunc(); // STILL INVALID: invalid unless it can be verified
>                //          that this wouldn't result in ambiguity
>                //          in the grammar
> void myfunc() @nogc; // STILL VALID (no change)
> @nogc myfunc(); // STILL VALID (no change)


Andrei