D issues are now tracked on GitHub. This Bugzilla instance remains as a read-only archive.
Issue 18203 - Accessing accessing out parameters in an 'in' contract
Summary: Accessing accessing out parameters in an 'in' contract
Status: NEW
Alias: None
Product: D
Classification: Unclassified
Component: dmd (show other issues)
Version: D2
Hardware: All All
: P4 enhancement
Assignee: No Owner
URL:
Keywords:
Depends on:
Blocks:
 
Reported: 2018-01-07 10:56 UTC by Iain Buclaw
Modified: 2024-12-13 18:56 UTC (History)
1 user (show)

See Also:

Attachments
Add an attachment (proposed patch, testcase, etc.)

Note You need to log in before you can comment on or make changes to this issue.
Description Iain Buclaw 2018-01-07 10:56:25 UTC 
---
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
Comment 1 dlangBugzillaToGithub 2024-12-13 18:56:05 UTC 
THIS ISSUE HAS BEEN MOVED TO GITHUB

https://github.com/dlang/dmd/issues/17831

DO NOT COMMENT HERE ANYMORE, NOBODY WILL SEE IT, THIS ISSUE HAS BEEN MOVED TO GITHUB