{"ast_node_type":"other","tokens":[{"end":68,"kind":"keyword","start":0,"text":"(span_data.hi"}]}
                (span_data.hi - enclosing.lo).to_u32().encode(self);
                (span_data.lo - enclosing.lo).to_u32().encode(self);
                return;