[Issue 6856] Preconditions are not inherited

[d-bugmail at puremagic.com]

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



--- Comment #18 from deadalnix <deadalnix at gmail.com> 2012-02-26 08:46:45 PST ---
(In reply to comment #17)
> Don's proposal is to remove 'in' contract widening completely. That does not
> make a lot of sense to me.

Don's proposal is similar to what you reported here as issue 6857 , which make
a lot of sense.

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