DIP 1028 "Make @safe the Default" is dead
Walter Bright
newshound2 at digitalmars.com
Sat May 30 09:11:03 UTC 2020
On 5/29/2020 2:38 PM, Adam D. Ruppe wrote:
> On Friday, 29 May 2020 at 21:18:13 UTC, Walter Bright wrote:
>> The idea is the simple, general rule that:
>
> There's already exceptions to that.
>
> public public void foo() {}
>
> is an error, whereas
>
> public:
> public void foo() {}
>
> is not.
Is it really an exception?
public public: // error
public public { } // error
> Let's say "attribute: changes the default attribute set of non-inferred
> subsequent declarations. attribute{} changes the default attribute set of
> non-inferred child declarations."
The inferred set changes over time, this would become problematic.
More information about the Digitalmars-d-announce
mailing list