[Issue 2095] covariance w/o typechecks = bugs

Sat Nov 27 05:59:40 PST 2010

http://d.puremagic.com/issues/show_bug.cgi?id=2095

Andrei Alexandrescu <andrei at metalanguage.com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|NEW                         |ASSIGNED
                 CC|                            |andrei at metalanguage.com
         AssignedTo|nobody at puremagic.com        |bugzilla at digitalmars.com

--- Comment #25 from Andrei Alexandrescu <andrei at metalanguage.com> 2010-11-27 05:58:02 PST ---
Elevating importance of this as it's a big hole in the type system. Please vote
up.

Solution: Derived[] can be implicitly converted to const(Base)[] in all
situation where pointer adjustment is not needed for converting Derived to
Base. Conversion from Derived[] to Base[] must be rejected statically.

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