Summary: inout-correct range is not iterable using foreach with
                    type deduction inside non-inout function
           Product: D
           Version: D2
          Platform: Other
        OS/Version: Linux
            Status: NEW
          Keywords: rejects-valid
          Severity: normal
          Priority: P2
         Component: DMD

--- Comment #0 from Steven Schveighoffer <> 2011-10-07 
13:07:02 PDT ---
This should compile:

struct range
    int *ptr;
    @property inout(int)* front() inout
        return ptr;

    @property bool empty() const
        return ptr is null;

    void popFront()
        ptr = null;

void main()
    int x = 5;
    auto r = range(&x);
    foreach(p; r) // line 24

bug.d(24): Error: variable bug.main.p inout variables can only be declared
inside inout functions
bug.d(24): Error: cannot implicitly convert expression (__r1.front()) of type
int* to inout(int)*

The range foreach rewrite somehow gets inout into the resulting type of
r.front, where it should really be the resulting wild type (in this case int*)

Changing the foreach loop to:

foreach(int *p; r)


Configure issuemail:
------- You are receiving this mail because: -------

Reply via email to