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

[d-bugmail at puremagic.com]

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


yebblies <yebblies at gmail.com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |yebblies at gmail.com


--- Comment #78 from yebblies <yebblies at gmail.com> 2012-07-10 04:43:07 EST ---
(In reply to comment #77)
> (In reply to comment #76)
> > I can't see any way to do it without changing the abi for virtual functions
> > with contracts.
> 
> What about my suggestion of comment 61?

As Walter said, that requires argument forwarding, which introduces copying
problems and doesn't work with variadics.  The precondition needs to be
evaluated in the context of the function.

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