4056 2006-12-09 15:44:26 +0000 elemT026 - illegal xsi:type 2010-02-03 15:18:08 +0000 1 1 1 Unclassified XML Schema Test Suite Microsoft tests 2006-11-06 PC Windows XP RESOLVED FIXED metadata updated 2008-11-11 P2 normal --- 1 mike ht arthurdm public-xml-schema-testsuite oldest_to_newest 13112 0 mike 2006-12-09 15:44:26 +0000 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. 13113 1 mike 2006-12-09 15:47:15 +0000 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"/> 13115 2 ht 2006-12-09 17:58:05 +0000 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> 13838 3 zafara 2007-01-29 22:43:44 +0000 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. 20696 4 mike 2008-06-21 15:38:29 +0000 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). 31424 5 ht 2010-02-03 15:18:08 +0000 *** Bug 4227 has been marked as a duplicate of this bug. ***