We have added type declarations to XPath "for" and "let" expressions, but not to "some" and "every", where they remain XQuery-only. This seems a needless inconsistency.
The PR also changes quantified expressions so that a type declaration induces coercion of the supplied value to the required type, for consistency with for and let expressions.
We have added type declarations to XPath "for" and "let" expressions, but not to "some" and "every", where they remain XQuery-only. This seems a needless inconsistency.