[bv-dev] Constructor validation

[Michael Nascimento]

On Tue, Dec 6, 2011 at 6:48 PM, Gunnar Morling
<gunnar.morling at googlemail.com> wrote:
> In HV we are currently allowing to define additional return value
> constraints on methods overridden in sub types, and so far I haven't
> heard of any problems with that. AFAICS that's also what most
> programming by contract solutions do.

This makes a lot of sense to me. It should be supported. Constraints
on parameters of overriding methods shouldn't, following the same
reasoning already discussed.

Regards,
Michael