[Issue 11858] Comparison of unconnected classes using `is` must be disallowed

[d-bugmail at puremagic.com]

https://d.puremagic.com/issues/show_bug.cgi?id=11858


Stewart Gordon <smjg at iname.com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Keywords|                            |spec


--- Comment #4 from Stewart Gordon <smjg at iname.com> 2014-01-05 15:22:40 PST ---
Hmm.  There's a concept of a reinterpret cast with pointers, so an int* and a
float* can feasibly be pointing to the same memory address.  Since it's far
less likely that this will be done with object references, I see now that it
would need to be at least as strict to make sense.

Looking at

http://dlang.org/expression.html#IdentityExpression

there isn't a clear statement of what combinations of types are allowed.  There
should be.  As such, this is a spec issue as much as a compiler issue.

-- 
Configure issuemail: https://d.puremagic.com/issues/userprefs.cgi?tab=email
------- You are receiving this mail because: -------