• d-bugmail puremagic.com (27/27) Dec 10 2012 http://d.puremagic.com/issues/show_bug.cgi?id=9140
• d-bugmail puremagic.com (12/12) Dec 10 2012 http://d.puremagic.com/issues/show_bug.cgi?id=9140
• d-bugmail puremagic.com (10/10) Dec 10 2012 http://d.puremagic.com/issues/show_bug.cgi?id=9140
• d-bugmail puremagic.com (12/12) Dec 11 2012 http://d.puremagic.com/issues/show_bug.cgi?id=9140
• d-bugmail puremagic.com (12/12) Dec 12 2012 http://d.puremagic.com/issues/show_bug.cgi?id=9140
• d-bugmail puremagic.com (10/10) Dec 12 2012 http://d.puremagic.com/issues/show_bug.cgi?id=9140

d-bugmail puremagic.com writes:

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

           Summary: ref foreach of immutables in postcondition
           Product: D
           Version: D2
          Platform: x86
        OS/Version: Windows
            Status: NEW
          Keywords: rejects-valid
          Severity: normal
          Priority: P2
         Component: DMD
        AssignedTo: nobody puremagic.com
        ReportedBy: bearophile_hugs eml.cc


--- Comment #0 from bearophile_hugs eml.cc 2012-12-10 20:46:32 PST ---
immutable(int)[] bar()
out(result) {
    foreach (ref r; result) {}
} body {
    return null;
}
void main() {}


I think the error is not correct, DMD 2.061alpha gives:

test.d(3): Error: variable test.bar.result cannot modify result 'result' in
contract

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

d-bugmail puremagic.com writes:

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


lt.infiltrator gmail.com changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |lt.infiltrator gmail.com


--- Comment #1 from lt.infiltrator gmail.com 2012-12-10 20:52:33 PST ---
I think that it is correct; it's just a shallow check.

Try:

foreach (const ref r; result) {}

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

d-bugmail puremagic.com writes:

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


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

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Severity|normal                      |regression


--- Comment #2 from Kenji Hara <k.hara.pg gmail.com> 2012-12-10 21:55:30 PST ---
This is a regression caused by fixing bug 8783.

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

d-bugmail puremagic.com writes:

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


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

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Keywords|                            |pull
           Platform|x86                         |All
         OS/Version|Windows                     |All


--- Comment #3 from Kenji Hara <k.hara.pg gmail.com> 2012-12-11 01:04:36 PST ---
https://github.com/D-Programming-Language/dmd/pull/1364

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

d-bugmail puremagic.com writes:

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



--- Comment #4 from github-bugzilla puremagic.com 2012-12-12 16:13:31 PST ---
Commits pushed to master at https://github.com/D-Programming-Language/dmd

https://github.com/D-Programming-Language/dmd/commit/596fae913de2791141a6f27153fde90a7e3be08e
fix Issue 9140 - ref foreach of immutables in postcondition

This change reopens bug 8783.

https://github.com/D-Programming-Language/dmd/commit/2284bb97158b8ca66022b28153405adc22714f73
Merge pull request #1364 from 9rnsr/fix9140

Issue 9140 - ref foreach of immutables in postcondition

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

d-bugmail puremagic.com writes:

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


Walter Bright <bugzilla digitalmars.com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|NEW                         |RESOLVED
                 CC|                            |bugzilla digitalmars.com
         Resolution|                            |FIXED


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