[Bug 3717] Cardinality inference for 'cast as' should take operand into account

http://www.w3.org/Bugs/Public/show_bug.cgi?id=3717





------- Comment #1 from mrys@microsoft.com  2006-09-13 20:28 -------
While special casing the inference solves the particular problem, often the
arguments to fn:dateTime() will be provided using some expressions that will
infer optionality in their static type. So this proposal will only solve a
small subset and will not address the general issue.

The general issue should be (and has been) resolved by widening the accepted
type range for fn:dateTime().

Best regards
Michael