[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 #73 from timon.gehr at gmx.ch 2012-07-08 15:08:47 PDT ---
(In reply to comment #70)
> 
> P.S. Besides which, the implementation difficulties mentioned by Walter in
> comment 58 are really big difficulties, that don't seem worth it for what
> appears to be a minor behavior tweak.
> 

The reason why it is harder to implement is that it is more general.

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