{"ast_node_type":"other","tokens":[{"end":80,"kind":"keyword","start":0,"text":"hi"}]}
            hi + source_file.original_start_pos <= source_file.original_end_pos,
        debug_assert!(
            "Malformed encoded span: hi={:?} source_file.original_start_pos={:?} source_file.original_end_pos={:?}",