http://d.puremagic.com/issues/show_bug.cgi?id=302
------- Comment #13 from s...@iname.com 2009-05-04 08:48 ------- But if the arguments to a method aren't guaranteed to pass the base class contracts, one wouldn't be calling it through a base class reference. Hence my point. --