{"ast_node_type":"other","tokens":[{"end":22,"kind":"keyword","start":0,"text":"})"}]}
                    })
                        span.with_hi(BytePos(span.hi().0 + 1))
                    .collect();