Re: Revert attributes to their defaults with default keywords

[Meta via Digitalmars-d]

On Friday, 9 January 2015 at 14:26:26 UTC, aldanor wrote:
It could work both ways at the same time.
Maybe even something like "default(pred) final(pred) nothrow" 
--> if pred is compile-time-true, reset all attributes and then 
add final/nothrow; if it's compile-time-false, disable final 
and enable nothrow.

@disable is also currently a keyword.

pure nothrow @safe @nogc immutable
Test
{
    //doSomething is nothrow @safe @nogc immutable
    @disable(pure) void doSomething() {}

    //getAnInt is pure @nogc immutable
    @disable(nothrow, @safe) int getAnInt() {}

    //typeof(n) == int
    @disable(immutable) int n;
}

This is also useful for templated functions, methods, etc. It 
allows one to tell the compiler that the function in question 
should never have a particular attribute inferred for it.

//doSomethingElse will never be inferred as pure,
//but may be inferred as nothrow, @safe, or @nogc
@disable(pure) void doSomethingElse()() {}