This is an archived snapshot of W3C's public bugzilla bug tracker, decommissioned in April 2019. Please see the home page for more details.
id-rename-expr-012, 013 use the expression xs:int(salary) + 1 as target/name for a rename. No context item is set, so we might get XPDY0002, unless some static analysis is done, which is not mentioned in the spec. Changing to xs:int($var/salary) + 1 should fix this, and probably was intended. If indeed static analysis should be used, this should be made more explicit in the spec
I've made the changes that you suggested, changing the expression to xs:int($var/salary[1]) + 1.