digitalmars.D.bugs - [Issue 18203] New: Accessing accessing out parameters in an 'in'
- d-bugmail puremagic.com (28/28) Jan 07 2018 https://issues.dlang.org/show_bug.cgi?id=18203
https://issues.dlang.org/show_bug.cgi?id=18203 Issue ID: 18203 Summary: Accessing accessing out parameters in an 'in' contract Product: D Version: D2 Hardware: All OS: All Status: NEW Severity: enhancement Priority: P1 Component: dmd Assignee: nobody puremagic.com Reporter: ibuclaw gdcproject.org --- int foo(out int bar) in { somevar = bar; // This should be an error. somefunc(bar); // This should be an error. assert(bar == 0); // This should be an error. } do { return 0; } --- See comments from https://github.com/dlang/dmd/pull/7553 --
Jan 07 2018