<div dir="ltr"><div dir="ltr">On Thu, Oct 29, 2020 at 4:13 PM H. S. Teoh via Digitalmars-d-learn <<a href="mailto:digitalmars-d-learn@puremagic.com">digitalmars-d-learn@puremagic.com</a>> wrote:<br></div><div class="gmail_quote"><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex"><br>
But why can't that be treated differently from explicitly writing @safe<br>
on a declaration?  I mean, yeah, it's easier to implement the compiler<br>
that way, but ease of implementation shouldn't count against proper<br>
language design!<br>
<br>
<br>
T<br>
<br>
-- <br>
Doubt is a self-fulfilling prophecy.<br></blockquote><div><br></div><div>But what about this:</div><div><br></div><div>shared {</div><div>    some_ type some_var;</div><div>    immutable int x = 1;</div><div>} </div><div><br></div><div>There are many ways to define it and last time when I was looking at how this is implemented in D frontend it was implemented as a bitmask variable and you have no context from where it comes.</div><div>So only way would be to disallow this within lexer which I do not see as a good options</div></div></div>