override and @trusted

[H. S. Teoh]

On Sun, Mar 11, 2012 at 05:16:06PM +0100, deadalnix wrote:
> As suggested, override will propagate function's qualifier of the
> superclass. What about the @trusted attribute ?
> 
> It seems to be quite dangerous attribute to propagate. And if we
> don't, we could ends up with strange stuffs dues to @safe inference
> in the subclasse.
> 
> I suggest override to propagate @safe in the case of @trusted
> function overload, except if overloaded function is explicitly
> tagged as @trusted .
> 
> @trusted isn't something that we want to propagate automatically.

I didn't confirm this, but based on what I observed of dmd recently, I
*think* it actually does this already.


T

-- 
Error: Keyboard not attached. Press F1 to continue. -- Yoon Ha Lee, CONLANG