[Bug 27175] subtype-itemtype

https://www.w3.org/Bugs/Public/show_bug.cgi?id=27175

--- Comment #4 from Michael Kay <mike@saxonica.com> ---
I got that wrong. 

The reason rule 14 covers the element(B, xs:anyType?) case is that we want to
make element(N) a subtype of element(N, xs:anyType?), which would not be the
case under rule 16 alone.

So I think the lowest-risk fix, as suggested, is to change rule 14 as suggested
to say:

14. Bi is either element(Bn) or element(Bn, xs:anyType?), the expanded QName of
An equals the expanded QName of Bn, and Ai is either element(An) or element(An,
T) or element(An, T?) for any type T.

-- 
You are receiving this mail because:
You are the QA Contact for the bug.