[Issue 8221] typeof(null) rejected as return type for covariant overrides
d-bugmail at puremagic.com
d-bugmail at puremagic.com
Wed Jun 13 23:03:46 PDT 2012
http://d.puremagic.com/issues/show_bug.cgi?id=8221
--- Comment #3 from Kenji Hara <k.hara.pg at gmail.com> 2012-06-13 23:05:57 PDT ---
(In reply to comment #2)
> Why should this compile? What is the compelling reason?
typeof(null) is a subtype of array/class/pointer types. By return type
covariance rule, B.foo should be able to override A.foo.
--
Configure issuemail: http://d.puremagic.com/issues/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
More information about the Digitalmars-d-bugs
mailing list