This is an archived snapshot of W3C's public bugzilla bug tracker, decommissioned in April 2019. Please see the home page for more details.
3.6.5 says A type error is signaled if the supplied global context item does not match the required type declared in the xsl:global-context-item declaration of any package. This is ambiguous. The intent is that the type of the supplied item should match every type declaration, not that it is sufficient to match one of them. Suggested rephrasing: A type error is signaled if any package contains an xsl:global-context-item that declares a required type which does not match the supplied global context item.
Fixed editorially.