D issues are now tracked on GitHub. This Bugzilla instance remains as a read-only archive.
Issue 7093 - aliased type sometimes isn't resolved
Summary: aliased type sometimes isn't resolved
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, rejects-valid
Depends on:
Blocks:
 
Reported: 2011-12-10 23:59 UTC by Kenji Hara
Modified: 2011-12-11 14:02 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-12-10 23:59:21 UTC 
In following code, aliased type T is not resolved.
----
void main()
{
    alias int T;
    static assert( is( T** : const(T**) ));	// Line 4: causes an error
    static assert( is( T*  : const(T*) ));	// OK
}

output:
----
test.d(4): Error: static assert  (is(int*** : const(T***))) is false