{"ast_node_type":"other","tokens":[{"end":55,"kind":"keyword","start":0,"text":"debug_assert!(self.span_edges[this].is_none());"}]}
        debug_assert!(self.span_edges[this].is_none());
        // The result of the rotation is that `this` is now a spantree root.
    }