• d-bugmail puremagic.com (30/30) Mar 10 2014 https://d.puremagic.com/issues/show_bug.cgi?id=12338
• d-bugmail puremagic.com (11/11) Mar 10 2014 https://d.puremagic.com/issues/show_bug.cgi?id=12338
• d-bugmail puremagic.com (13/13) Mar 14 2014 https://d.puremagic.com/issues/show_bug.cgi?id=12338
• d-bugmail puremagic.com (9/9) Mar 14 2014 https://d.puremagic.com/issues/show_bug.cgi?id=12338

d-bugmail puremagic.com writes:

https://d.puremagic.com/issues/show_bug.cgi?id=12338

           Summary:  trusted delegates should implicitly cast to  safe
           Product: D
           Version: D2
          Platform: All
        OS/Version: All
            Status: NEW
          Severity: normal
          Priority: P2
         Component: DMD
        AssignedTo: nobody puremagic.com
        ReportedBy: destructionator gmail.com



11:11:07 PDT ---
 safe void test(void delegate()  safe dg) {
        dg();
}

 trusted void bug() { }

void main()  safe {
        test(&bug);
}

safety.d(8): Error: function safety.test (void delegate()  safe dg) is not
callable using argument types (void function()  trusted)


I think that should work since  trusted functions can normally be called by
 safe functions, so the delegate should implicitly cast too.

Note that if you change the call line to this:

        test({ bug(); });

It will compile - the anonymous delegate is inferred as  safe.

-- 
Configure issuemail: https://d.puremagic.com/issues/userprefs.cgi?tab=email
------- You are receiving this mail because: -------

d-bugmail puremagic.com writes:

https://d.puremagic.com/issues/show_bug.cgi?id=12338


w0rp <devw0rp gmail.com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |devw0rp gmail.com



I think the same idea applies to 'void function()  safe' as well, as you could
trivially wrap any  trusted function in a  safe function.

-- 
Configure issuemail: https://d.puremagic.com/issues/userprefs.cgi?tab=email
------- You are receiving this mail because: -------

d-bugmail puremagic.com writes:

https://d.puremagic.com/issues/show_bug.cgi?id=12338


yebblies <yebblies gmail.com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|NEW                         |RESOLVED
                 CC|                            |yebblies gmail.com
         Resolution|                            |INVALID



&bug is not a delegate, it is a function.   trusted delegates do convert to
 safe delegates.

-- 
Configure issuemail: https://d.puremagic.com/issues/userprefs.cgi?tab=email
------- You are receiving this mail because: -------

d-bugmail puremagic.com writes:

https://d.puremagic.com/issues/show_bug.cgi?id=12338




06:42:50 PDT ---
Well, that's embarrassing, it even said that in the error message I
copy/pasted!

But yeah, i just double checked, it does indeed work with functions and
delegates both if you pick the right one.

-- 
Configure issuemail: https://d.puremagic.com/issues/userprefs.cgi?tab=email
------- You are receiving this mail because: -------