--- Comment #24 from Don <> 2012-02-27 22:14:03 PST ---
(In reply to comment #23)
> (In reply to comment #22)
> > What this means in practice is that in contracts must be BEFORE the vtable
> > lookup, rather than being in the body of the function.
> Yes, that is issue 6857.

OK, then this issue is quite simple.
All that seems to be required is, to define "no in() contract" to mean "use
default precondition". So that if a derived class has no in(), instead of
getting || true

(which means that the precondition gets stripped away) it gets || false.

(which means it uses the precondition from the base class). As now, an explicit
in{} strips the precondition away.
And nothing else needs to change.


Configure issuemail:
------- You are receiving this mail because: -------

Reply via email to