This is an archived snapshot of W3C's public bugzilla bug tracker, decommissioned in April 2019. Please see the home page for more details.
I believe that the instance document attZ015.xml is invalid against the schema attZ015.xsd because the schema gives the attribute as use="prohibited", but it is present in the instance. It appears from the metadata that this test was originally intended to fail on the grounds that use="prohibited" is not allowed in an attribute group; however this assumption was incorrect and the schema and instance are both labelled as valid.
> This test does not make the assumption that use=prohibited is > disallowed from attribute groups. It is merely testing that prohibited > attributes are excluded from the 'attribute uses' > of attribute groups. Prohibited attributes within attribute groups are > pointless and do nothing. The instance should be valid as the > attribute 'a' should validate against the declaration in the complex > type 'base'. > > This was posted as a question to the schema dev list [1] and verified > by Henry. > > [1] > http://lists.w3.org/Archives/Public/xmlschema-dev/2005May/0053.html > > Thanks, > Zafar Abbas
Agreed that, surprising as it may seem, use="prohibited" within an attribute group does not have the effect of making the attribute prohibited. The bug report is therefore invalid.