Summary: Functions using lazy argument cannot be inferred as
           Product: D
           Version: D2
          Platform: All
        OS/Version: All
            Status: NEW
          Severity: enhancement
          Priority: P2
         Component: DMD

--- Comment #0 from 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:
------- You are receiving this mail because: -------

Reply via email to