It appears the XQTS has no tests for document-node() combined with element() or schema-element():

bash-2.05b$ echo "document-node(element(testingRegExp))" | grep -nHR 'document-node([^:]\+)'
(standard input):1:document-node(element(testingRegExp))
bash-2.05b$ 

bash-2.05b$ find -name "*.xq" | xargs grep -nHR 'document-node([^:]\+)'
bash-2.05b$   


This appears to be the current coverage:

---------------------------------------------------
bash-2.05b$ find -name "*.xq" | xargs grep -nHR 'document-node()'
./Queries/XQuery/Expressions/seqExprTypes/sequenceExprTypeswitch/K-sequenceExprTypeswitch-8.xq:10:           case document-node() return -2
./Queries/XQuery/Expressions/FLWORExpr/ForExprType/ForExprType021.xq:8:for $doc as document-node() in $input-context
./Queries/XQuery/Expressions/FLWORExpr/ForExprType/ForExprType056.xq:10:for $test as document-node() in $input-context
./Queries/XQuery/Expressions/FLWORExpr/ForExprType/ForExprType072.xq:2:(: Description: FLWOR expressions with type declaration. Attempt type declaration of document-node() on a set of element nodes :)
./Queries/XQuery/Expressions/FLWORExpr/ForExprType/ForExprType072.xq:10:for $test as document-node() in ($input-context//fs:Folder)[1]/fs:File/fs:FileName
./Queries/XQuery/Expressions/FLWORExpr/ForExprType/ForExprType073.xq:2:(: Description: FLWOR expressions with type declaration. Attempt type declaration of document-node() on a set of values :)
./Queries/XQuery/Expressions/FLWORExpr/ForExprType/ForExprType073.xq:10:for $test as document-node() in data( ($input-context//fs:Folder)[1]/fs:File/fs:FileName )
bash-2.05b$                 
---------------------------------------------------

I will write tests that cover non-schema aware implementations(partly done). Although they will be run by schema-aware as well, they won't test schema-specific areas.

Proposed solution:
* Include my tests
* Write schema-specific tests


Frans