facets of derived union or list types are not taken into account during casting

[Markos Zaharioudakis]

For example, consider the CastAs-ListType-23 test case in the prod-CastExpr.schema test set.

Here is the query for that test case:

xquery version "3.0";
import schema namespace s="http://www.w3.org/XQueryTest/unionListDefined";
("123 987 567 456 877") cast as s:myRestrictedList1

I include the schema file in an attachment.

[Sorin Marian Nasoi (sorin.marian.nasoi)]

There are 13 failures in "prod-CastExpr.schema":

"CastAs-ListType-23,CastAs-ListType-25,CastAs-ListType-26,CastAs-ListType-27,CastAs-ListType-3,CastAs-ListType-31,CastAs-UnionType-17,CastAs-UnionType-22,CastAs-UnionType-23,CastAs-UnionType-24,CastAs-UnionType-32,CastAs-UnionType-33,CastAs-UnionType-35"

[Sorin Marian Nasoi (sorin.marian.nasoi)]

Please also take a look on the following 4 test-cases from 'prod-InstanceofExpr' test-set:
- instanceof113, instanceof139, instanceof140, cbcl-instance-of-001

The log is attached.