This is an archived snapshot of W3C's public bugzilla bug tracker, decommissioned in April 2019. Please see the home page for more details.
In the Microsoft Element tests, group elemT026, the instance has <test2 xsi:type="Union-A">1</test2> where Union-A is a union type with A (the declared type of test2) as its only member. From my reading of the specification (Schema Component Constraint: Type Derivation OK (Simple)), Union-A is not validly derived from A, so the instance is invalid under clause 4.3 of Validation Rule: Element Locally Valid (Element). Very similar problems affect elemT027, elemT028, and elemT029.
The same problem affects: <test group="elemT054" name="elemT054.v"/> <test group="elemT055" name="elemT055.v"/> <test group="elemT056" name="elemT056.v"/> <test group="elemT057" name="elemT057.v"/>
The declared type of test2 is the ur-type, so I agree the result should 'invalid', but not for the reason you give. . . XSV says: <invalid char="2" code="cvc-elt.4.3" line="2" resource="file:///C:/cygwin/tmp/elemT026.xml">xsi:type {None}:Union-A is not allowed to substitute for the declared type anyType</invalid>
Agreed that the expected outcome of this test should be invalid. We are following up with the WG to determine the process of updating the test suite.
Agreed. These instances are invalid because the element declaration in each case blocks restriction (and not for the reason stated in the original bug report).
*** Bug 4227 has been marked as a duplicate of this bug. ***