Re: [article] Language Design Deal Breakers

[Dicebot]

On Wednesday, 29 May 2013 at 15:44:59 UTC, Kenji Hara wrote:
Andrei, if the variable type has some indirections, it would be 
correctly
rejected.
@safe void foo()
{
   int* x = void;  // error
}

Error: variable test.foo.x void initializers for pointers not 
allowed in
safe functions

So I'm not sure bug 10201 is correct or not...

Kenji Hara

Ye, I have added comment about that in 10201. It still 
circumvents "@disable this" and thus may break any logical safety 
guarantees.