[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.