LDC -noruntime

[Jonathan M Davis]

On Saturday, July 07, 2012 07:27:52 Alex Rønne Petersen wrote:
> Is overriding a @safe function with @trusted allowed/meant to be
> allowed? I hope so, otherwise this is going to be a severe limitation.

Well, an overriding function in a derived class cannot be any looser than the 
one it's overriding in the base class, but @trusted is essentially the same as 
@safe from the caller's perspective, so I would expect it to work (I wouldn't 
expect @system to work though, since that _is_ looser). In fact, I'm pretty 
sure that there was a post about it not too long ago where someone was having 
issues because the function in a derived class was inferred as @safe, and they 
had to mark it as @trusted to get it to work. So, I think that you're fine on 
that count. However, even if you _couldn't_ override an @safe function with an 
@trusted one for some reason, all you would have to do is create a helper 
function which was @trusted, and you could get around the limitation quite 
easily.

- Jonathan M Davis