• deadalnix <deadalnix gmail.com> Mar 11 2012
• Timon Gehr <timon.gehr gmx.ch> Mar 11 2012
• "H. S. Teoh" <hsteoh quickfur.ath.cx> Mar 11 2012

deadalnix <deadalnix gmail.com> writes:

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.

Timon Gehr <timon.gehr gmx.ch> writes:

On 03/11/2012 05:16 PM, 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.


+1.

"H. S. Teoh" <hsteoh quickfur.ath.cx> writes:

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