{"ast_node_type":"other","tokens":[{"end":88,"kind":"keyword","start":0,"text":".with_hi(lit.span.hi()"}]}
                                        .with_hi(lit.span.hi() - BytePos(right as u32)),
                                        .with_lo(lit.span.lo() + BytePos(left as u32 + 1))
                                )