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.
