<!-- 5.7.4 - CONSTRAINTDECLARATIONVALIDATIONPROCESS_VALIDATIONROUTINE_TYPEVALIDATORRESOLUTION -->

<assertion id="d">
<text>If the constraint is hosted on a getter, the return type of the getter is the targeted type.</text>
</assertion>
->
<assertion id="d">
<text>If the constraint is hosted on a method (getter or non-getter) or constructor, the return type is the targeted type.</text>
</assertion>