This is an archived snapshot of W3C's public bugzilla bug tracker, decommissioned in April 2019. Please see the home page for more details.
At the end of section 21.1.1 we have Ai is map(*) and Bi is map(K, V), for any K and V. Ai is map(Ka, Va) and Bi is map(Kb, Vb), where subtype-itemtype(Kb, Ka) and subtype-itemtype(Vb, Va). Ai is function(*) and Bi is map(*), (or, because of the transitivity rules, any other map type). Ai is function(xs:anyAtomicType) as item()* and Bi is map(*), (or, because of the transitivity rules, any other map type). I think all four rules have Ai and Bi the wrong way round. In addition, in the second rule, subtype-itemtype(Vb, Va) should be subtype(Vb, Va) because both Vb and Va are sequence types.
We discussed this at the face to face meeting in Prague, checking against the definition of the subtype-itemtype relation, and concluded that the issue description is correct and A and B need to be reversed in all four bullet points.
Change applied.