D issues are now tracked on GitHub. This Bugzilla instance remains as a read-only archive.
Issue 6865 - inout matching removes shared qualifier
Summary: inout matching removes shared qualifier
Status: RESOLVED FIXED
Alias: None
Product: D
Classification: Unclassified
Component: dmd (show other issues)
Version: D2
Hardware: All All
: P2 normal
Assignee: No Owner
URL:
Keywords: patch, wrong-code
Depends on:
Blocks:
 
Reported: 2011-10-30 06:57 UTC by Kenji Hara
Modified: 2011-10-31 12:11 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 Kenji Hara 2011-10-30 06:57:19 UTC 
shared(inout(int)) foo(shared(inout(int)) n){ return n; }
void main()
{
    shared(const(int)) n;
    static assert(is(typeof(foo(n)) == shared(const(int))));
    // test.d(6): Error: static assert
    //            (is(const(int) == shared(const(int)))) is false
}