AFAIK Zorba does not support StaticTyping. That is why the StaticTyping tests should be marked as expected failures.
There is only one test that has to be looked at from this list
test/rbkt/w3c_testsuite/XQueryX/Construct/ComputeCon/ComputeConAttr/K2-ComputeConAttr-35
If the intended purpose was to make sure the XQueryX expected failures are up to date than this indeed is an issue that should be checked.
AFAIK Zorba does not support StaticTyping. That is why the StaticTyping tests should be marked as expected failures.
There is only one test that has to be looked at from this list w3c_testsuite/ XQueryX/ Construct/ ComputeCon/ ComputeConAttr/ K2-ComputeConAt tr-35
test/rbkt/
If the intended purpose was to make sure the XQueryX expected failures are up to date than this indeed is an issue that should be checked.