D issues are now tracked on GitHub. This Bugzilla instance remains as a read-only archive.
Issue 4219 - hasAliasing does not care about immutable
Summary: hasAliasing does not care about immutable
Status: RESOLVED FIXED
Alias: None
Product: D
Classification: Unclassified
Component: phobos (show other issues)
Version: D2
Hardware: All All
: P2 blocker
Assignee: Shin Fujishiro
URL:
Keywords:
Depends on:
Blocks:
 
Reported: 2010-05-22 17:41 UTC by Simen Kjaeraas
Modified: 2015-06-09 05:13 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 Simen Kjaeraas 2010-05-22 17:41:32 UTC 
class A {}

static assert( hasAliasing!( immutable A ) );

The above code compiles. According to documentation, hasAliasing should return false for immutable references.

In addition, documentation uses the word invariant.
Comment 1 Shin Fujishiro 2010-05-23 21:35:10 UTC 
Fixed in svn r1551.