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 2.5.6.2 rule 32 says Ai is array(X) and Bi is function(Y), and X is a subtype of Y. Here function(Y) appears to be a typo for array(Y), and the second clause (for consistency and precision) should say "and subtype(X, Y)".