Accessing accessing out parameters in an 'in' contract

[dlangBugzillaToGithub]

Iain Buclaw (@ibuclaw) reported this on 2018-01-07T10:56:25Z

Transferred from https://issues.dlang.org/show_bug.cgi?id=18203

CC List

Description

---
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