This is an archived snapshot of W3C's public bugzilla bug tracker, decommissioned in April 2019. Please see the home page for more details.
Don't we have to untype all ancestors? Since they cannot be guaranteed to be valid any longer.
The WG considered this bug report at its June 5 meeting. Wwe believe that the specification already untypes all ancestors, and so no change is needed. Rules 1.b and 2.b of section 3.1.11, upd:rename, invoke upd:removeType($target). Section 3.2.4, upd:removeType, says: "This routine is applied to a node whose name or content has been modified, in order to remove specific type information from the node and its ancestors, pending revalidation." Rules 1)a)ii and 2)d perform the recursion necessary to remove type information from the node's ancestors. Please close this bug report if you agree with our resolution.
Thanks for the clarification.