>+In either case this sets the C<of> property of the container to C<Dog>.
>+Subroutines have a variant of the C<of> property, C<returns>, that
>+sets the C<returns> property instead.  The C<returns> property specifies
>+a constraint to be checked upon calling C<return> that, unlike the C<of>
>+property, is not advertized as the type of the routine:

It doesn't have to be run-time; it could also merely alter the signature
of the (implied or explicit) return() function within that sub.


Reply via email to