@safe inference fundamentally broken

[Timon Gehr via Digitalmars-d]

On 06/05/2014 08:17 PM, deadalnix wrote:
> @safe is fundamentally broken.

What's the "fundamental" problem? The construct seems perfectly fit to 
specify memory safety in at least the following context:

void main()@safe{}

:o)