[Issue 6857] Precondition contract checks should be statically bound.

[d-bugmail at puremagic.com]

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



--- Comment #36 from Stewart Gordon <smjg at iname.com> 2012-05-04 13:49:11 PDT ---
(In reply to comment #35)
<snip>
> Again, this is NOT true. The type of the argument is not statically 
> A, it is a polymorphic type A.

Why do you consider the contracts of a method to be NOT part of the API? 
Because Bertrand considers it so, or for some other reason?

> If an instance of A is passed, then the call to foo(-1) will fail. 
> Please try it and see for yourself.

I never doubted that.

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