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.5.4 Sequence type matching This section refers to "wildcard element type" and "wildcard attribute type". These terms are not defined. I believe they refer to elements or attributes of any permitted name and the most general permitted types (nillable xs:anyType and xs:anySimpleType, respectively). It would be better to show the complete expansion. Otherwise the reader may have the impression that "element" is one type and "element nillable of type xs:anyType" is something else. See also my comment #1614 that it would be better if the Formal Semantics did not rely on defaults, or ask the reader to supply them.
I believe this is editorial. - Jerome
Taken over by events. This has already been fixed when dealing with bug #1614. - Jerome