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 section 19.2, for computing the static type of expressions, the entry for path expressions RelativePathExpr [36] P/Q, P//Q the static type of P is incorrect. It should of course be the static type of Q.
I've applied the change, but am leaving the bug open for WG review.
The WG approved this fix.