http://d.puremagic.com/issues/show_bug.cgi?id=6328

           Summary: Functions using lazy argument cannot be inferred as
                    @safe
           Product: D
           Version: D2
          Platform: All
        OS/Version: All
            Status: NEW
          Severity: enhancement
          Priority: P2
         Component: DMD
        AssignedTo: nobody@puremagic.com
        ReportedBy: kennytm@gmail.com


--- Comment #0 from kennytm@gmail.com 2011-07-15 14:08:31 PDT ---
Test case:

------------------------------------
int f6328a()(lazy int x) {
    return x;
}
@safe int f6328b()(lazy int x) {   // <-- adding a '@safe' is OK
    return x;
}
@safe int g6328() {
    return f6328a(1+1);   // <-- but it won't be inferred as '@safe'
}
------------------------------------
x.d(8): Error: safe function 'g6328' cannot call system function 'f6328a'
------------------------------------

I'm marking it as 'enhancement' because I don't know if this is intentional to avoid the lazy argument from calling unsafe code.

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

http://d.puremagic.com/issues/show_bug.cgi?id=6328


Kenji Hara <k.hara.pg@gmail.com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|NEW                         |RESOLVED
         Resolution|                            |DUPLICATE


--- Comment #1 from Kenji Hara <k.hara.pg@gmail.com> 2011-12-21 19:31:25 PST ---
*** This issue has been marked as a duplicate of issue 6690 ***

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