D issues are now tracked on GitHub. This Bugzilla instance remains as a read-only archive.
Issue 7669 - Broken inout deduction with static array type
Summary: Broken inout deduction with static array type
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: pull, rejects-valid
Depends on:
Blocks:
 
Reported: 2012-03-08 04:53 UTC by Kenji Hara
Modified: 2012-03-11 15:14 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 2012-03-08 04:53:49 UTC 
test case:
--------
shared(inout U)[n] id(U, size_t n)( shared(inout U)[n] );
void main()
{
    static assert(is(typeof( id((shared(int)[3]).init)) == shared(int)[3]));
}

output:
--------
test.d(4): Error: static assert  (is(shared(inout(int)[3u]) == shared(int[3u]))) is false