D issues are now tracked on GitHub. This Bugzilla instance remains as a read-only archive.
Issue 7684 - IFTI and shared overload doesn't work
Summary: IFTI and shared overload doesn't work
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-11 05:38 UTC by Kenji Hara
Modified: 2012-03-11 15:19 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-11 05:38:38 UTC 
This code doesn't work.

----
       U[]  id(U)(        U[]  );
shared(U[]) id(U)( shared(U[]) );

void main()
{
    shared(int)[] x;
    static assert(is( typeof(id(x)) == shared(int)[] ));
    // Error: static assert  (is(typeof(__error) == shared(int)[])) is false
}