RE: question about subtyping and type annotations

> Section 3.12.5 Constructor Functions seems to be pretty clear 
> about it:

That only says they are equivalent to casts. Are casts exempt from the
general rule of substitutability, which says that any expression can return
a value whose dynamic type is a subtype of the required type?

Michael Kay
http://www.saxonica.com/