@safe quiz

[Walter Bright]

Michel Fortin wrote:
> I know. But that wasn't really the point of that whole post. The point 
> is that it's difficult to pass callable arguments to a @safe function or 
> function template.
> 
> Labeling most function templates as @safe in std.algorithm is going to 
> break code that uses those algorithms. You'll see when you (or someone 
> else) attempts it, just like I saw when I added @safe to my code.

I think that shows the type system is working.

If a @safe function can call a not safe delegate, then the type system 
has failed.